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… 
2012
2012
Mode-Directed Tabling and Applications in the YapTab System
Tabling is an implementation technique that solves some limitations of Prolog's operational semantics in dealing with recursion… 
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… 
Review
2008
Review
2008
Extending Tabled Logic Programming with Multi-Threading : A Systems Perspective
Tabled Logic Programming (TLP) has proven a useful paradigm for application areas such as natural language grammars, program… 
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… 
2005
2005
A Simple Constraint Solver in Action Rules for the CP ’ 05 Solver Competition
In response to the call for solvers by the CPAI’05 solver competition organizing committee, we implemented a constraint solver… 
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… 
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)