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 system. The constraint solver of B-Prolog was ranked top in two categories in the Second International Solvers Competition. B-Prolog underpins the PRISM system, a logic-based probabilistic reasoning and learning system.
| Property | Value |
|---|
| dbpprop:abstract
|
- 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 system. The constraint solver of B-Prolog was ranked top in two categories in the Second International Solvers Competition. B-Prolog underpins the PRISM system, a logic-based probabilistic reasoning and learning system.
|
| dbpprop:hasPhotoCollection
| |
| dbpprop:reference
| |
| rdfs:comment
|
- 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 system. The constraint solver of B-Prolog was ranked top in two categories in the Second International Solvers Competition. B-Prolog underpins the PRISM system, a logic-based probabilistic reasoning and learning system.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:homepage
| |
| foaf:page
| |
| is dbpprop:implementations
of | |
![[RDF Data]](/statics/sw-cube.png)
