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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Software testing and benchmarking are key components of the software development process. Nowadays, a good practice in large… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
To appear in Theory and Practice of Logic Programming (TPLP). Several Prolog interpreters are based on the Warren Abstract… (More)
  • figure 1
  • table 1
  • figure 2
  • 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… (More)
  • figure 1
  • figure 2
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… (More)
  • 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… (More)
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… (More)
  • figure 1
  • table 1
Is this relevant?
2004
2004
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • 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… (More)
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2000
2000
One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?