YAP-Prolog
From MaRDI portal
Software:19012
No author found.
Related Items (42)
On the use of stochastic local search techniques to revise first-order logic theories from examples ⋮ Making ProB Compatible with SWI-Prolog ⋮ XSB: Extending Prolog with Tabled Logic Programming ⋮ STUDIES OF THE LOCAL STRUCTURE AND THE g FACTORS FOR THE ORTHORHOMBICTi3+CENTER IN YAP ⋮ Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9--13 2008. Proceedings ⋮ Advances in integrative statistics for logic programming ⋮ Top-down and Bottom-up Evaluation Procedurally Integrated ⋮ Table space designs for implicit and explicit concurrent tabled evaluation ⋮ Tabling, Rational Terms, and Coinduction Finally Together! ⋮ Incremental Tabling in Support of Knowledge Representation and Reasoning ⋮ Causal inference in cplint ⋮ Structure learning of probabilistic logic programs by searching the clause space ⋮ Tabling as a library with delimited control ⋮ On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores ⋮ Tabling with Sound Answer Subsumption ⋮ Bandit-based Monte-Carlo structure learning of probabilistic logic programs ⋮ Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP ⋮ Unnamed Item ⋮ Inductive general game playing ⋮ \textsc{Tor}: modular search with hookable disjunction ⋮ Unnamed Item ⋮ kLog: a language for logical and relational learning with kernels ⋮ Unnamed Item ⋮ A practical analysis of non-termination in large logic programs ⋮ On the implementation of the probabilistic logic programming language ProbLog ⋮ Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings ⋮ Efficient tabling of structured data with enhanced hash-consing ⋮ Threads and or-parallelism unified ⋮ PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters ⋮ On the Implementation of Speculative Constraint Processing ⋮ Deductive Databases: Implementation, Parallelism and Applications ⋮ CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge ⋮ Learning Probabilistic Logic Models from Probabilistic Examples (Extended Abstract) ⋮ Learning probabilistic logic models from probabilistic examples ⋮ Parallel backtracking with answer memoing for independent and-parallelism ⋮ On combining linear-based strategies for tabled evaluation of logic programs ⋮ INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH ⋮ Dedicated tabling for a probabilistic setting ⋮ On the Efficient Execution of ProbLog Programs ⋮ Towards Typed Prolog ⋮ Preference Logic Grammars: Fixed point semantics and application to data standardization ⋮ Finite-tree analysis for constraint logic-based languages
This page was built for software: YAP-Prolog
