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