Semantic Scholar uses AI to extract papers important to this topic.
Abstract Tabling has been used for some time to improve efficiency of Prolog programs by memorizing answered queries. The same… Expand Horn Clause Programs have a natural depth-first procedural semantics. However, for many programs this procedural semantics is… Expand Abstract In this work, we propose Answer-Set Programming (ASP) as a tool for rapid prototyping of dynamic programming algorithms… Expand Abstract GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other… Expand This paper presents our program in B-Prolog submitted to the third ASP solver competition for the Sokoban problem. This program… Expand In previous work , we have presented a proposal to combine the power of tabling with the Extended Andorra Model (EAM) in order… Expand CGLIB is a high-level graphics library for B-Prolog, a constraint logic programming system. The library provides primitives for… Expand Tabled logic programming has emerged as an important evaluation technique of logic programs. Tabling has enabled us to construct… Expand Constraint Logic Programming (CLP) defines a family of programming languages that extend Prolog to support constraint solving… Expand Parameter passing and control stack management are two of the crucial issues in Prolog implementation. In the Warren Abstract… Expand