39 search results - page 2 / 8 » Tutorial on Specialisation of Logic Programs |
LISP
2008
13 years 5 months ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
LOPSTR
1998
Springer
13 years 9 months ago
1998
Springer
PEPM
1998
ACM
13 years 9 months ago
1998
ACM
PEPM
1998
ACM
13 years 9 months ago
1998
ACM
ICLP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...