49 search results - page 7 / 10 » XSB: Extending Prolog with Tabled Logic Programming |
CL
2000
Springer
13 years 9 months ago
2000
Springer
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...
AGP
2010
IEEE
13 years 7 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
LICS
1994
IEEE
14 years 1 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
ETFA
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
EJC
2003
13 years 11 months ago
2003
We present a logic programming based dialogue system that enables the access in natural language to the heterogeneous external relational databases of the Évora University. The p...