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

yap

High-performance Prolog Compiler

A high-performance Prolog compiler developed at LIACC, Universidade do Porto. The 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.
Homepage:
Package version:5.1.3
Architecture:i686
Distribution:CentOS
Filename:yap-5.1.3-2.1.el6.i686.rpm

/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/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-5.1.3/README


			README for Yap 5.1


This directory contains a release of the Yap 5.1.* Prolog system,
originally developed at the Universidade do Porto by Luis Damas and
Vitor Santos Costa, with contributions from the Edinburgh Prolog
library, the C-Prolog manual authors, Ricardo Lopes, Ricardo Rocha,
M. Hermenegildo, D. Cabeza, Eric Alphonse, Paulo Moura, Nuno Fonseca,
Jan Wielemaker, Paul Single
more»

/usr/share/doc/yap-5.1.3/changes-5.0.html

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

/usr/share/doc/yap-5.1.3/changes-5.1.html

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

/usr/share/doc/yap-5.1.3/changes.css

body {
	color: black;
	background-color: #FFE4C4;
	font-family: sans-serif;
	margin-left: 2em;
	marg
more»

/usr/share/doc/yap-5.1.3/changes4.3.html

<!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-2.1.el6.i686.rpm

953 B2014-11-29HEADER  view  300+ mirrors
         [DIR]usr/ (3)  65535+ mirrors

Download yap-5.1.3-2.1.el6.i686.rpm

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