3546 search results - page 171 / 710 » A Causal Logic of Logic Programming |
131
click to vote
LISP
2008
15 years 4 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...
121
click to vote
JELIA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...
115
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...