The YAP Prolog system
From MaRDI portal
Publication:2893087
DOI10.1017/S1471068411000512zbMath1244.68017OpenAlexW1984187667MaRDI QIDQ2893087
Vitor Costa, Ricardo Rocha, Luís Damas
Publication date: 25 June 2012
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068411000512
Related Items (26)
On the use of stochastic local search techniques to revise first-order logic theories from examples ⋮ Making ProB Compatible with SWI-Prolog ⋮ 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 ⋮ Fifty Years of Prolog and Beyond ⋮ Parallel Logic Programming: A Sequel ⋮ 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 ⋮ Disjunctive delimited control ⋮ Typed SLD-resolution: dynamic typing for logic programming ⋮ Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP ⋮ Inductive general game playing ⋮ \textsc{Tor}: modular search with hookable disjunction ⋮ Unnamed Item ⋮ kLog: a language for logical and relational learning with kernels ⋮ A practical analysis of non-termination in large logic programs ⋮ CHR for Imperative Host Languages ⋮ YAP-Prolog ⋮ Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms
Uses Software
Cites Work
- Concepts, design, and performance analysis of a parallel prolog machine
- Markov logic networks
- Efficient access mechanisms for tabled logic programs
- The Vienna abstract machine
- On applying or-parallelism and tabling to logic programs
- CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge
- An Introduction to Language Processing with Perl and Prolog
- Depth-First Search and Linear Graph Algorithms
This page was built for publication: The YAP Prolog system
