Sciweavers

367 search results - page 14 / 74
» Prolog
Sort
View
FLAIRS
2008
15 years 2 months ago
Concept of an Interactive Web Portal for Teaching Prolog
The paper presents observations concerning teaching Prolog to computer science students. Basing on these experiences an interactive web-portal is proposed to support teaching. Som...
Grzegorz J. Nalepa, Igor Wojnicki
ITICSE
2005
ACM
15 years 5 months ago
A prolog toolkit for formal languages and automata
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...
Michel Wermelinger, Artur Miguel Dias
ICLP
2005
Springer
15 years 5 months ago
An Optimised Semantic Web Query Language Implementation in Prolog
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
Jan Wielemaker
PPDP
2005
Springer
15 years 5 months ago
Self-tuning resource aware specialisation for prolog
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
Stephen-John Craig, Michael Leuschel
PPDP
2004
Springer
15 years 5 months ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel