Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

B-Prolog

Known as: BProlog 
B-Prolog is a high-performance implementation of the standard Prolog language with several extended features including matching clauses, action rules… Expand
Wikipedia

Papers overview

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