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
2016
2016
Compiling and Executing PDDL in Picat
The declarative language Picat has recently entered the scene of constraint logic programming, in particular thanks to the… 
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
1996
1996
A Novel Implementation Method of Delay
The efficiency of delay depends to a large extent on the following four basic operations: delay, wakeup, interrupt, and resume… 
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)