YAP-Prolog

swMATH6948MaRDI QIDQ19012FDOQ19012

Author name not available (Why is that?)

Described by source

• The YAP prolog system
• The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages

Cited In (42)

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

This page was built for software: YAP-Prolog