B-Prolog

B-Prolog is a high-performance implementation of the standard Prolog language with several extended features including matching clauses, action rules for event handling, finite-domain constraint solving, arrays and hash tables, declarative loops, and tabling. Read more on Wiki.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 17 articles )

Showing results 1 to 17 of 17.
Sorted by year (citations)

  1. Areias, Miguel; Rocha, Ricardo: Table space designs for implicit and explicit concurrent tabled evaluation (2018)
  2. Warren, David S.: Top-down and bottom-up evaluation procedurally integrated (2018)
  3. Balduccini, Marcello; Lierler, Yuliya: Constraint answer set solver \textscezcspand why integration schemas matter (2017)
  4. Lierler, Yuliya; Susman, Benjamin: On relation between constraint answer set programming and satisfiability modulo theories (2017)
  5. Vandenbroucke, Alexander; Piróg, Maciej; Desouter, Benoit; Schrijvers, Tom: Tabling with sound answer subsumption (2016)
  6. Desouter, Benoit; Van Dooren, Marko; Schrijvers, Tom: Tabling as a library with delimited control (2015)
  7. Schrijvers, Tom; Demoen, Bart; Triska, Markus; Desouter, Benoit: \textscTor: modular search with hookable disjunction (2014)
  8. Demoen, Bart; Garcia de la Banda, Maria: Redundant disequalities in the Latin square problem (2013)
  9. Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.: An introduction to search combinators (2013)
  10. Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.: Search combinators (2013)
  11. Zhou, Neng-Fa: The language features and architecture of B-Prolog (2012)
  12. Zhou, Neng-Fa; Have, Christian Theil: Efficient tabling of structured data with enhanced hash-consing (2012)
  13. Cattafi, Massimiliano; Gavanelli, Marco; Nonato, Maddalena; Alvisi, Stefano; Franchini, Marco: Optimal placement of valves in a water distribution network with (CLP(FD)) (2011)
  14. Riguzzi, Fabrizio; Swift, Terrance: The PITA system: tabling and answer subsumption for reasoning under uncertainty (2011)
  15. Zhou, Neng-Fa: The language features and architecture of B-prolog (2011) ioport
  16. Bergenti, Federico; Dal Palù, Alessandro; Rossi, Gianfranco: Integrating finite domain and set constraints into a set-based constraint language (2009)
  17. Koshimura, Miyuki; Fujita, Hiroshi; Hasegawa, Ryuzo: Model generation with Boolean constraints (2001)