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 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
- 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
- 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
