Skip to search formSkip to main contentSkip to account menu

YAP Prolog

Known as: YAP-Prolog, Yap (disambiguation), Yet Another Prolog 
YAP is an open source, high-performance implementation of the Prolog programming language developed at LIACC/Universidade do Porto and at COPPE… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
The variety of open-source game description language (GDL) reasoners available to newcomers to general game playing (GGP) lowers… 
2012
2012
Bu calismada, YID modelinin hukuki boyutu yaninda calismanin kapsamiyla sinirli olarak finansal ve ekonomik boyutuna da… 
Highly Cited
2011
Highly Cited
2011
Abstract Yet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and that has been under almost… 
2011
2011
A high-power single-frequency Nd:YAP/LBO laser with stable dual wavelength outputs is designed and built. The laser resonator… 
Review
2010
Review
2010
Abstract The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog… 
Highly Cited
2007
Highly Cited
2007
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both… 
2007
2007
This is to present work on modifying the Aleph ILP system so that it evaluates the hypothesised clauses in parallel by… 
2003
2003
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very… 
2003
2003
Inductive Logic Programming (ILP) systems is a set of Machine Learning techniques that have been quite successful in knowledge… 
Highly Cited
2002
Highly Cited
2002
In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or…