The following pages link to The YAP prolog system (Q2893087):
Displaying 26 items.
- YAP-Prolog (Q19012) (← links)
- Advances in integrative statistics for logic programming (Q324669) (← links)
- kLog: a language for logical and relational learning with kernels (Q464624) (← links)
- Bandit-based Monte-Carlo structure learning of probabilistic logic programs (Q894703) (← links)
- Causal inference in cplint (Q1679666) (← links)
- Inductive general game playing (Q2203324) (← links)
- On the use of stochastic local search techniques to revise first-order logic theories from examples (Q2361575) (← links)
- \textsc{Tor}: modular search with hookable disjunction (Q2441515) (← links)
- Tabling, Rational Terms, and Coinduction Finally Together! (Q2931251) (← links)
- Incremental Tabling in Support of Knowledge Representation and Reasoning (Q2931264) (← links)
- CHR for Imperative Host Languages (Q3616887) (← links)
- Top-down and Bottom-up Evaluation Procedurally Integrated (Q4559824) (← links)
- Table space designs for implicit and explicit concurrent tabled evaluation (Q4559837) (← links)
- Structure learning of probabilistic logic programs by searching the clause space (Q4592977) (← links)
- Tabling as a library with delimited control (Q4592987) (← links)
- On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores (Q4593066) (← links)
- Tabling with Sound Answer Subsumption (Q4593070) (← links)
- Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms (Q4988930) (← links)
- (Q5020572) (← links)
- Making ProB Compatible with SWI-Prolog (Q5038477) (← links)
- Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP (Q5108525) (← links)
- A practical analysis of non-termination in large logic programs (Q5398306) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- Disjunctive delimited control (Q6102252) (← links)
- Typed SLD-resolution: dynamic typing for logic programming (Q6103019) (← links)
