Filewatcher File Search File Search
Catalog
Content Search
» » » » »

yap

The YAP Prolog System

Variants:
YAP is a high-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (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).

Homepage:
Package version:5.1.3-4
Architecture:i386
Distribution:Debian
Filename:yap_5.1.3-4_i386.deb

/usr/share/Yap/chr/README

				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
authors.


	* Tom Schrijvers, K.U.Leuven	Tom.Schrijvers@cs.kuleuven.ac
	* Christian Holzbaur		christian@ai.univie.ac.at
	* Jan Wielemaker 		jan@swi-prolog.org


File
more»

/usr/share/Yap/clpbn/examples/School/README

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
tables: CPTs





professor_ability(p0,X).

professor_popularity(p0,X).

professor_ability(p0,X), professor_popularity(p0,h).

profe
more»

/usr/share/Yap/clpqr/README

			    SWI-Prolog CLP(Q,R)
			    -------------------

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
more»

/usr/share/doc/yap/README.gz


			README for Yap 5.1


This directory contains a release of the Yap 5.1.* Prolog system,
or
more»

/usr/share/man/man1/yap.1.gz

YAP(1)                                                        YAP(1)



NAME
       yap - prolog int
more»

/usr/share/doc/yap/changelog.Debian.gz

yap (5.1.3-4) unstable; urgency=low

  * Build-depend on libreadline-dev, instead of libreadline5-de
more»

/usr/share/doc/yap/changelog.gz

===============================================================================
****** Changes in YA
more»

/usr/share/doc/yap/changelog.html.gz

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
        "http://www.w3.org/TR/1999/REC-html401-199
more»

Browse inside yap_5.1.3-4_i386.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (4)  65535+ mirrors

Download yap_5.1.3-4_i386.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com