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 has been developed since 1985. The original version was written in assembly, C and Prolog, and achieved high performance on m68k based machines. The assembly code was used to implement the WAM emulators. Later emulators supported the VAX, SPARC, and MIPS architectures. Work on the more recent version of YAP strives at several goals:
YAP 4.0 and early versions of YAP 4.1 were distributed under a license that enables free use in academic environments. From Yap4.1.15 onwards YAP is distributed under Perls's Artistic license. We would like to follow an open development model: sources to the system are always made available from the home page, and contributions from users are most welcome!
Mirrors of this page are available at sourceforge, at Universidade do Porto, and at Universidade Federal do Rio de Janeiro (the one in Rio currently has problems).
The Yap YAP-4.4.4 version is now the major version for Yap.
The sources can be found here:
The following binaries are available:
(Should work with most Linux versions on x86, including Mandrake 9.0)
Please do report any bugs to firstname.lastname@example.org.
The manual is also available online (PDF). Documentation is also available for download.
Aleph is an Inductive Logic Programming (ILP) system that supersedes P-Progol.
The FSA Utilities toolbox is a collection of utilities to manipulate regular expressions, finite-state automata and finite-state transducers. Manipulations include automata construction from regular expresssions, determinization (both for finite-state acceptors and finite-state transducers), minimization, composition, complementation, intersection, Kleene closure, etc. In addition to atomic symbols, automata can be defined by means of `predicates' on arcs. Various visualization tools are available to browse finite-state automata. Interpreters are provided to apply finite automata. Finite automata can also be compiled into stand-alone C programs.
Recent versions of FSA are available for SWI-Prolog, SICStus Prolog and YAP. The toolbox comes with an optional graphical user interface (only available under SICStus) and an optional command interpreter. The toolbox can also be applied as a UNIX filter, or as a Prolog library. The toolbox is freely available under GPL.
SceX (pronounce it skech for score (T)eX) is a system that processes textual descriptions of music pieces.
(Logging in to email@example.com)
CVS password: (just press return)
After the first time it suffices to do:
(Logging in to firstname.lastname@example.org)
You can always find the latest release at the sourceforge. Otherwise, a source distribution of YAP 4.5.6, including documentation in several formats, is now available. A smaller archive file includes documentation only in texinfo format: YAP 4.5.6-small. Thanks to Paulo Moura, we now have a MacOS X 10.3 version available. Previous development versions are still available: YAP 4.5.0, YAP 4.5.1, YAP 4.5.2, YAP 4.5.3, YAP 4.5.4, and YAP 4.5.5.
If you are interested in following the development of Yap, please consider joining one of the Yap mailing lists. If you are interested in contributing directly the project, please contact Vítor Santos Costa (email@example.com) or Ricardo Lopes (firstname.lastname@example.org).
The manual is also available online.
The manual for the new release can also be found online.
A log for all changes until version 4.3 is also available.
A previous experimental version was Yap4.1. Major highlights of the first development version include and internal redesign for improved error handling, arrays and ISO-support, and an uniform mechanism to support extensions to the unification algorithm that is designed to support constraints. Yap4.1 was distributed in source form . The final version was 4.1.18. Versions of Yap4.1 can still be found in the archive: Yap 4.1.0, Yap 4.1.1, Yap 4.1.2, Yap 4.1.4, Yap 4.1.5, Yap 4.1.6, Yap 4.1.7, Yap 4.1.8, Yap 4.1.9, Yap 4.1.10, Yap 4.1.11, Yap 4.1.12, Yap 4.1.13, Yap 4.1.14, Yap 4.1.15, Yap 4.1.16, Yap 4.1.17, Yap 4.1.18.
A log for all changes in version 4.1 is also available.