diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
YAP Development release
This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
8,857 Commits 2 Branches 6 Tags 145 MiB
C 57.6%
Prolog 21.9%
Python 7.1%
C++ 5.9%
SWIG 1.9%
Other 5.3%
Go to file
Vítor Santos Costa 20f639fe7b simple, small test for error_handling 2016-02-21 11:32:08 +00:00
BEAM allow the option to have priorities above 1200 2015-12-15 08:38:56 +00:00
C fix regress in style_check caused by bad argument to add clause 2016-02-21 11:30:13 +00:00
CVSROOT mode changes 2011-07-25 17:09:28 +01:00
CXX fix regress in style_check caused by bad argument to add clause 2016-02-21 11:30:13 +00:00
Eclipse facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
H typo 2016-02-21 11:30:29 +00:00
JIT fix error handling 2015-09-25 10:57:26 +01:00
LGPL change SWI stuff to swi directory. 2013-03-05 15:50:38 -06:00
OPTYap facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
PrologCommons add pointer to commons. 2014-11-05 07:43:48 +00:00
autoconf update README to refer to cmake, and to use MD format. 2016-02-18 13:20:49 +00:00
cmake dump stack on YAP bug (maybe extend to user foreign code). 2016-02-20 23:58:06 +00:00
console submods work 2015-10-13 09:10:53 +01:00
docs facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
include ISO error handling (Paulo Moura's suite). 2016-02-18 19:46:03 +00:00
library facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
misc related changes 2016-02-11 06:20:16 -08:00
nbproject facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
os facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
packages facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
pl fix source regression 2016-02-21 11:31:27 +00:00
qt facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
regression simple, small test for error_handling 2016-02-21 11:32:08 +00:00
swi rid of error library 2016-01-31 10:30:54 +00:00
tmp facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
utf8proc windows dlls, meet thy mxmake 2016-01-20 22:25:25 +00:00
utils facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
.ctags avoid going into build directories 2016-02-11 05:58:21 -08:00
.gitignore fix regression: checking for EOT should first peek, and if happy consume the blank after the dot. 2016-02-18 22:10:40 +00:00
.gitmodules stop using submodule 2015-10-13 08:17:51 +01:00
Artistic Updated the YAP license to the final version of the "The Artistic License 2.0" (see http://www.perlfoundation.org/legal/ for details). 2006-09-27 18:09:14 +00:00
CMakeLists.txt Merge branch 'master' of github.com:vscosta/yap-6.3 2016-02-03 10:17:01 +00:00
COPYING mode changes 2011-07-25 17:09:28 +01:00
ChangeLog Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
GIT get rid of wrong docs. 2010-06-14 08:46:58 +01:00
GitSHA1.c small changes 2016-02-13 03:11:25 +00:00
GitSHA1.c.in git versioning 2015-06-19 01:14:28 +01:00
ICLP2014_examples.yap Added examples for ICLP2014 submission 2014-02-10 15:35:37 +00:00
INSTALL.md duplcated data is bad 2016-02-19 19:30:09 +00:00
Makefile.am Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
NEWS Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
README Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
README.EAM.html eamconsult can now be used to pre-compile simple prolog code. 2006-04-08 15:12:08 +00:00
README.md duplcated data is bad 2016-02-19 19:30:09 +00:00
README.nt saved state should be startup.yss, not startup.yss, in case YAP looks up 2009-05-02 14:06:24 -05:00
TO_DO upgrade to 5.1.4 2008-06-18 10:02:27 +00:00
YAP.config facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
YAP.creator facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
YAP.creator.user facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
YAP.files facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
YAP.includes facilitate peek processing when using system locale. 2016-02-20 21:50:06 +00:00
YapTermConfig.h.cmake JIT 2015-01-20 03:00:42 +00:00
atom.yap increase the ignore list 2015-06-17 23:49:02 +01:00
bodyLine increase the ignore list 2015-06-17 23:49:02 +01:00
changes-5.0.html more files ;-). 2005-10-28 17:57:25 +00:00
changes-5.1.html more locking fixes 2008-08-13 01:16:26 +00:00
changes-6.0.html changes for pdf generation in ProbLog. 2010-08-31 15:53:43 -05:00
changes.css library(system) plus several new support builtins 2001-05-21 20:00:05 +00:00
changes4.3.html move to 4.5.3 2004-03-08 19:31:01 +00:00
config.h.cmake dump stack on YAP bug (maybe extend to user foreign code). 2016-02-20 23:58:06 +00:00
css3deps.rdf Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
customdoxygen.css Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
depcomp Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
distribute mode changes 2011-07-25 17:09:28 +01:00
endBodyLine Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
example.py Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
exports.yap Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
install_manifest.txt Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
missing Avoid complaining from strlen 2015-09-21 17:05:36 -05:00
new_stylesheet.css Avoid complaining from strlen 2015-09-21 17:05:36 -05:00

README.md

![The YAP Logo](docs/icons/yap_128x128x32.png)

README for YAP6

NOTE: this version of YAP is stil experimental, documentation may be out of date.

Introduction

This document provides User information on version 6.3.4 of YAP (Yet Another Prolog). The YAP Prolog System is a high-performance Prolog compiler developed at Universidade do Porto. YAP supports stream Input/Output, sockets, modules, exceptions, Prolog debugger, C-interface, dynamic code, internal database, DCGs, saved states, co-routining, arrays, threads.

We explicitly allow both commercial and non-commercial use of YAP.

YAP is based on the David H. D. Warren's WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and was originally designed to be largely compatible with DEC-10 Prolog, Quintus Prolog, and especially with C-Prolog. More recently, we have worked on being compatible with SICStus Prolog and with SWI-Prolog.

YAP implements most of the ISO-Prolog standard. We are striving at full compatibility, and the manual describes what is still missing. The document is intended neither as an introduction to Prolog nor to the implementation aspects of the compiler. A good introduction to programming in Prolog is the book @cite TheArtOfProlog , by L. Sterling and E. Shapiro, published by "The MIT Press, Cambridge MA". Other references should include the classical @cite ProgrammingInProlog , by W.F. Clocksin and C.S. Mellish, published by Springer-Verlag.

YAP 6.3.4 has been built with the gcc and clang compilers on Linux and OSX machines. We expect to recover support for WIN32 machines and Android next.

The overall copyright and permission notice for YAP4.3 can be found in the Artistic file in this directory. YAP follows the Perl Artistic license, and it is thus non-copylefted freeware. Some components of YAP have been obtained from SWI Prolog and ciao, and have different licenses.

If you have a question about this software, desire to add code, found a bug, want to request a feature, or wonder how to get further assistance, please send e-mail to . To subscribe to the mailing list, visit the page https://lists.sourceforge.net/lists/listinfo/yap-users.

On-line documentation is available for YAP

We are happy to include in YAP several excellent packages developed under separate licenses. Our thanks to the authors for their kind authorization to include these packages.

The packages are, in alphabetical order:

  • The CHR package developed by Tom Schrijvers, Christian Holzbaur, and Jan Wielemaker.

  • The CLP(BN) package and Horus toolkit developed by Tiago Gomes, and Vítor Santos Costa.

  • The CLP(R) package developed by Leslie De Koninck, Bart Demoen, Tom Schrijvers, and Jan Wielemaker, based on the CLP(Q,R) implementation by Christian Holzbaur.

  • The CPLint package developed by Fabrizio Riguzzi's research laboratory at the University of Ferrara

  • The CUDA interface package developed by Carlos Martínez, Jorge Buenabad, Inês Dutra and Vítor Santos Costa.

  • The GECODE interface package developed by Denys Duchier and Vítor Santos Costa.

  • The JPL (Java-Prolog Library) package developed by .

The minisat SAT solver interface developed by Michael Codish, Vitaly Lagoon, and Peter J. Stuckey.

  • The MYDDAS relational data-base interface developed at the Universidade do Porto by Tiago Soares, Michel Ferreira, and Ricardo Rocha.

  • The PRISM logic-based programming system for statistical modeling developed at the Sato Research Laboratory, TITECH, Japan.

  • The ProbLog 1 system developed by the ProbLog team in the DTAI group of KULeuven.

  • The R interface package developed by Nicos Angelopoulos, Vítor Santos Costa, João Azevedo, Jan Wielemaker, and Rui Camacho.

Downloading YAP

The latest development version of Yap-6 is yap-6.3.4 and can be obtained from the repositories

http://sourceforge.net/p/yap/yap-6.3

and

https://github.com/vscosta/yap-6.3

YAP-6.3.4 does not use modules. Please just use git clone to obtain the distribution.

Most of these repositories are basically copies of the original repositories at the SWI-Prolog site. YAP-6 will work either with or without these packages.