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