BProlog

From Wikipedia, the free encyclopedia

B-Prolog is a high-performance implementation of the standard Prolog language with several extended features including action rules for event handling, finite-domain constraint solving, and tabling. First released in 1994, B-Prolog is now a widely used CLP systems (Google search). The constraint solver of B-Prolog was ranked top in two important categories in the Second International Solvers Competition. B-Prolog underpins the PRISM system, a logic-based probabilistic reasoning and learning system.