High-performance Prolog System
High-performance Prolog compiler developed at LIACC/Universidade
do Porto and at COPPE Sistemas/UFRJ. The YAP Prolog engine is based in the
Warren Abstract Machine, with several optimizations for better
performance. YAP follows the Edinburgh tradition, and is largely
compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.
YAP features a constraint solver over real numbers, and support for
constraint handling rules (CHR).
CHR for SWI-Prolog
Authors and license
This package contains code from the following authors. All code is
distributed under the SWI-Prolog conditions with permission from the
* Tom Schrijvers, K.U.Leuven Tom.Schrijvers@cs.kuleuven.ac
* Christian Holzbaur email@example.com
* Jan Wielemaker firstname.lastname@example.org
This is a version of the school database, based on the PRM School example.
There are four main files:
school_128.yap: a school with 128 professors, 256 courses and 4096 students.
school_64.yap: medium size school
school_32.yap: small school
schema.yap: the schema
Author: Leslie De Koninck, K.U.Leuven
This software is based on the CLP(Q,R) implementation by Christian
Holzbauer and released with permission from all above mentioned authors
and Christian Holzbauer under the standard SWI-Prolog license schema:
GPL-2 + statement to allow linking with proprietary software.
The sources of this pac
README for Yap 5.1
This directory contains a release of the Yap 5.1.* Prolog system,
yap - prolog int
yap (5.1.3-6) unstable; urgency=low
* Added build-dependency on libncurses-dev. Thanks to Sven Jo
Browse inside yap_5.1.3-6_i386.deb
Results 1 - 1 of 1Search over 15 billion files
© 1997-2017 FileWatcher.com