Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

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

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… 
  • figure 1
  • figure 2
  • table I
  • table II
  • figure 3
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… 
Review
2011
Review
2011
Abstract The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog… 
2011
2011
A high-power single-frequency Nd:YAP/LBO laser with stable dual wavelength outputs is designed and built. The laser resonator… 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2008
Highly Cited
2008
In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or… 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… 
  • figure 1
  • table 1
2003
2003
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very… 
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
2003
2003
Inductive Logic Programming (ILP) systems is a set of Machine Learning techniques that have been quite successful in knowledge… 
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4