367 search results - page 2 / 74 » Prolog |
ENTCS
2000
13 years 7 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
(Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since
SLP
1993
13 years 9 months ago
1993
We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog programs can be dealt with by means of declarative int...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Following the ideas of the Remote Procedure Call model, we have developed a logic programming counterpart, naturally called Prolog Remote Predicate Call (Prolog RPC) [1]. The Prol...
PADL
2004
Springer
14 years 1 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...