Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,944,122 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Constraint logic programming
Constraint programming
Prolog
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
PRISM Revisited : Declarative Implementation of a Probabilistic Programming Language Using Delimited Control
Samer M. Abdallah
2017
Corpus ID: 44484579
PRISM is a probabilistic programming language based on Prolog augmented with primitives to represent probabilistic choice. PRISM…
Expand
2016
2016
Compiling and Executing PDDL in Picat
M. D. Bortoli
,
R. Barták
,
A. Dovier
,
Neng-Fa Zhou
Italian Conference on Computational Logic
2016
Corpus ID: 11830836
The declarative language Picat has recently entered the scene of constraint logic programming, in particular thanks to the…
Expand
2013
2013
Efficient Support for Mode-Directed Tabling in the YapTab Tabling System
João Santos
,
Ricardo Rocha
arXiv.org
2013
Corpus ID: 3015997
Mode-directed tabling is an extension to the tabling technique that supports the definition of mode operators for specifying how…
Expand
2007
2007
A Report on the BPrologCSP Solver
Neng-Fa Zhou
2007
Corpus ID: 18462030
This note attempts to give a quick analysis of the results of the BPrologCSP solver in the second international solver…
Expand
2006
2006
A compilation schema from Constraint Handling Rules into Action Rules
Tom Schrijvers
,
Neng-Fa Zhou
,
Bart Demoen
2006
Corpus ID: 15047328
CHR is a popular high-level language for implementing constraint solvers and other general purpose applications. It has a well…
Expand
2006
2006
Suspension Frames on the WAM Heap
Bart Demoen
,
Phuong-Lan Nguyen
2006
Corpus ID: 17731839
A suspension encapsulates everything needed to execute a piece of code many times in the same context: the need for this feature…
Expand
2005
2005
A Simple Constraint Solver in Action Rules for the CP ’ 05 Solver Competition
Neng-Fa Zhou
,
M. Wallace
2005
Corpus ID: 15034511
In response to the call for solvers by the CPAI’05 solver competition organizing committee, we implemented a constraint solver…
Expand
2005
2005
Under Consideration for Publication in Theory and Practice of Logic Programming Programming Finite-domain Constraint Propagators in Action Rules
Neng-Fa Zhou
2005
Corpus ID: 265975278
In this paper, we propose a new language, called AR (Action Rules), and describe how various propagators for finite-domain…
Expand
1996
1996
B-Prolog: A High Performance Prolog Compiler
Neng-Fa Zhou
,
I. Nagasawa
,
M. Umeda
,
Keiichi Katamine
,
Toyohiko Hirota
International Conference on Industrial…
1996
Corpus ID: 32117831
1996
1996
A Novel Implementation Method of Delay
M. Maher
1996
Corpus ID: 64151573
The efficiency of delay depends to a large extent on the following four basic operations: delay, wakeup, interrupt, and resume…
Expand