B-Prolog
From MaRDI portal
Software:19013
No author found.
Related Items (16)
The language features and architecture of B-Prolog ⋮ 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 ⋮ \textsc{Tor}: modular search with hookable disjunction ⋮ Model Generation with Boolean Constraints ⋮ Search combinators ⋮ Efficient tabling of structured data with enhanced hash-consing ⋮ The PITA system: Tabling and answer subsumption for reasoning under uncertainty ⋮ Optimal placement of valves in a water distribution network with CLP(FD) ⋮ Integrating Finite Domain and Set Constraints into a Set-based Constraint Language ⋮ An Introduction to Search Combinators ⋮ Redundant disequalities in the Latin square problem
This page was built for software: B-Prolog
