Skip to search formSkip to main content
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… Expand
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… Expand
  • figure 1
  • figure 2
  • table I
  • table II
  • figure 3
Is this relevant?
Highly Cited
2012
Highly Cited
2012
Yet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and that has been under almost constant… Expand
  • figure 1
  • figure 2
Is this relevant?
2012
2012
Bu calismada, YID modelinin hukuki boyutu yaninda calismanin kapsamiyla sinirli olarak finansal ve ekonomik boyutuna da… Expand
Is this relevant?
Review
2012
Review
2012
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
A high-power single-frequency Nd:YAP/LBO laser with stable dual wavelength outputs is designed and built. The laser resonator… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
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… Expand
Is this relevant?
2007
2007
This is to present work on modifying the Aleph ILP system so that it evaluates the hypothesised clauses in parallel by… Expand
  • figure 1
  • table 1
Is this relevant?
2003
2003
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2003
2003
Inductive Logic Programming (ILP) systems is a set of Machine Learning techniques that have been quite successful in knowledge… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?