SWI-Prolog
From MaRDI portal
Software:32763
No author found.
Related Items (48)
Making ProB Compatible with SWI-Prolog ⋮ Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form ⋮ Meta-interpretive learning from noisy images ⋮ \texttt{Gauss-lintel}, an algorithm suite for exploring chord diagrams ⋮ Prolog Technology Reinforcement Learning Prover ⋮ On dual programs in co-logic programming and the Horn \({\mu}\)-calculus ⋮ 3D robotic mapping. The simultaneous localization and mapping problem with six degrees of freedom ⋮ Efficient Low-Level Connection Tableaux ⋮ Advances in integrative statistics for logic programming ⋮ Recursive rules with aggregation: a simple unified semantics ⋮ Performing fully parallel constraint logic programming on a quantum annealer ⋮ Automated generation of control concepts annotation rules using inductive logic programming. System description ⋮ Pengines: Web Logic Programming Made Easy ⋮ Representations for robot knowledge in the \textsc{KnowRob} framework ⋮ Causal inference in cplint ⋮ Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles ⋮ A new algorithm to automate inductive learning of default theories ⋮ Concolic testing in logic programming ⋮ Logic Programming with Graph Automorphism: Integratingnautywith Prolog (Tool Description) ⋮ On relation between constraint answer set programming and satisfiability modulo theories ⋮ An Algebraic Approach to Time-Span Reduction ⋮ Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP ⋮ Learning efficient logic programs ⋮ Lifted discriminative learning of probabilistic logic programs ⋮ Learning higher-order logic programs ⋮ \textsc{Tor}: modular search with hookable disjunction ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Information-gain computation in the \textsc{Fifth} system ⋮ Search combinators ⋮ On temporal logic S4Dbr ⋮ Unnamed Item ⋮ Logic Programming ⋮ On Dual Programs in Co-Logic Programming ⋮ Constraint Logic Programming with Polynomial Constraints over Finite Domains ⋮ Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages ⋮ The Boolean Constraint Solver of SWI-Prolog (System Description) ⋮ Backjumping is Exception Handling ⋮ A subdivision algorithm to reason on high-degree polynomial constraints over finite domains ⋮ Probabilistic inductive constraint logic ⋮ Integrating Finite Domain and Set Constraints into a Set-based Constraint Language ⋮ Learning hierarchical probabilistic logic programs ⋮ Implementing type theory in higher order constraint logic programming ⋮ Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning ⋮ Optimizing Probabilities in Probabilistic Logic Programs ⋮ Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog
This page was built for software: SWI-Prolog
