Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

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… 
2012
2012
Horn Clause Programs have a natural depth-first procedural semantics. However, for many programs this procedural semantics is… 
2012
2012
Abstract In this work, we propose Answer-Set Programming (ASP) as a tool for rapid prototyping of dynamic programming algorithms… 
Review
2011
Review
2011
  • Neng-Fa Zhou
  • Theory and Practice of Logic Programming
  • 2011
  • Corpus ID: 15159935
Abstract B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching… 
2011
2011
Abstract GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other… 
2004
2004
CGLIB is a high-level graphics library for B-Prolog, a constraint logic programming system. The library provides primitives for… 
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… 
Review
2003
Review
2003
This paper describes the design and the implementation of the TOAM (Tree-Oriented Abstract Machine) for Prolog and its extensions… 
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… 
1996
1996
Parameter passing and control stack management are two of the crucial issues in Prolog implementation. In the Warren Abstract…