B-Prolog
From MaRDI portal
Software:19013
swMATH6949MaRDI QIDQ19013FDOQ19013
Author name not available (Why is that?)
Cited In (16)
- \textsc{Tor}: modular search with hookable disjunction
- The PITA system: Tabling and answer subsumption for reasoning under uncertainty
- An Introduction to Search Combinators
- The language features and architecture of B-Prolog
- Top-down and Bottom-up Evaluation Procedurally Integrated
- Redundant disequalities in the Latin square problem
- On relation between constraint answer set programming and satisfiability modulo theories
- Constraint answer set solver EZCSP and why integration schemas matter
- Optimal placement of valves in a water distribution network with CLP(FD)
- Tabling as a library with delimited control
- Efficient tabling of structured data with enhanced hash-consing
- Search combinators
- Model Generation with Boolean Constraints
- Table space designs for implicit and explicit concurrent tabled evaluation
- Integrating Finite Domain and Set Constraints into a Set-based Constraint Language
- Tabling with Sound Answer Subsumption
This page was built for software: B-Prolog
