B-Prolog
From MaRDI portal
Cited in
(41)- CLPS-B
- DLV-EX
- TSPTW
- JaCoP
- clpfd
- Prolog
- YAP-Prolog
- PITA
- Cardinal
- Zinc
- Redundant disequalities in the Latin square problem
- SICStus
- \textsc{Tor}: modular search with hookable disjunction
- XSB
- CAT
- OPTYap
- An introduction to search combinators
- The language features and architecture of B-Prolog
- Model generation with Boolean constraints
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- Optimal placement of valves in a water distribution network with CLP(FD)
- SWI-Prolog
- Integrating finite domain and set constraints into a set-based constraint language
- IDP
- PARLOG
- GHC
- LPaaS
- JSetL
- anthem
- Top-down and bottom-up evaluation procedurally integrated
- Table space designs for implicit and explicit concurrent tabled evaluation
- Tabling as a library with delimited control
- Tabling with sound answer subsumption
- Constraint answer set solver EZCSP and why integration schemas matter
- On relation between constraint answer set programming and satisfiability modulo theories
- Search combinators
- Efficient tabling of structured data with enhanced hash-consing
- 2P-Kt
- tuProlog
- TuCSoN
- TuSoW
This page was built for software: B-Prolog
