YAP-Prolog
From MaRDI portal
swMATH6948MaRDI QIDQ19012FDOQ19012
Author name not available (Why is that?)
Official website: http://www.dcc.fc.up.pt/~vsc/Yap/
Cited In (83)
- Tabling with sound answer subsumption
- STUDIES OF THE LOCAL STRUCTURE AND THE g FACTORS FOR THE ORTHORHOMBICTi3+CENTER IN YAP
- Title not available (Why is that?)
- Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
- Making ProB Compatible with SWI-Prolog
- Title not available (Why is that?)
- Dedicated tabling for a probabilistic setting
- On the implementation of the probabilistic logic programming language ProbLog
- On the Implementation of Speculative Constraint Processing
- Tabling, rational terms, and coinduction finally together!
- Preference Logic Grammars: Fixed point semantics and application to data standardization
- \textsc{Tor}: modular search with hookable disjunction
- 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
- Learning probabilistic logic models from probabilistic examples
- 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
- Title not available (Why is that?)
- TCHR
- LPTP
- TopLog
- PALS
- DASWAM
- DELORES
- clpfd
- Prolog
- B-Prolog
- CP-logic
- ProbLog
- PITA
- Terminyzer
- ProbView
- Aleph
- Ciao
- CiaoPP
- Pengines
- SICStus
- CAT
- MYDDAS
- ProGolem
- OPTYap
- XcelLog
- XSB
- YapOr
- YapTab
- Bandit-based Monte-Carlo structure learning of probabilistic logic programs
- PRISM
- GHC
- SWI-Prolog
- proSQLite
- MCINTYRE
- PARLOG
- plml
- Real
- GDL
- Yedalog
- EmptyHeaded
- Metagol
- 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
- FactorBase
- Flix
- 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
- Top-down and bottom-up evaluation procedurally integrated
- Towards Typed Prolog
- On the implementation of an or-parallel Prolog system for clusters of multicores
- A practical analysis of non-termination in large logic programs
- Threads and or-parallelism unified
- Causal inference in cplint
- Incremental Tabling in Support of Knowledge Representation and Reasoning
- Finite-tree analysis for constraint logic-based languages
This page was built for software: YAP-Prolog
