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)

Related topics

Related topics

3 relations
Constraint logic programmingConstraint programmingProlog

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
PRISM revisited: Declarative implementation of a probabilistic programming language using multi-prompt delimited control
2017
2017
Memoisation: Purely, Left-recursively, and with (Continuation Passing) Style
Memoisation, or tabling, is a well-known technique that yields large improvements in the performance of some recursive… 
2014
2014
Using Tabled Logic Programming to Solve the Petrobras Planning Problem
Abstract Tabling has been used for some time to improve efficiency of Prolog programs by memorizing answered queries. The same… 
2012
2012
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming
Abstract In this work, we propose Answer-Set Programming (ASP) as a tool for rapid prototyping of dynamic programming algorithms… 
2009
2009
Towards an Embedded Approach to Declarative Problem Solving in ASP
The strength of answer set programming (ASP) lies in solving computationally challenging problems declaratively, and hopefully… 
2006
2006
An External Module for Implementing Linear Tabling in Prolog
In previous work [1], we have presented a proposal to combine the power of tabling with the Extended Andorra Model (EAM) in order… 
2006
2006
Reconstructing a semantics for action rules by a transformation to almost plain Prolog
Action Rules are currently only implemented by B-Prolog. One reason is that it is difficult to extract their exact semantics from… 
2004
2004
A Constraint-Based Graphics Library for B-Prolog
CGLIB is a high-level graphics library for B-Prolog, a constraint logic programming system. The library provides primitives for… 
2002
2002
Implementing Constrant Solvers in B-Prolog
  • 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
B-Prolog: A High Performance Prolog Compiler
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)