:- Stable Version
YAP-6 is now the stable version of YAP [Oct-28-2010].
YAP-6 current version is yap-6.2.2 and can be obtained as:
The sources can also be obtained with git:
- a source tree is available from here
- a Windows executable is available from here
- a Windows executable with tabling is available from here
- a Windows executable for XP and older versions of Windows is available from here
- a 64 bit Windows executable is available from here
- a cygwin executable is available from here
git clone git://yap.dcc.fc.up.pt/yap-6
- Alternatively, you can use
git clone git://gitorious.org/yap-git/mainline.git
Several packages are shared with SWI-Prolog and need to be obtained separately. Proceed as follows:
git submodule init
git submodule update
These repositories are basically copies of the original repositories at the SWI-Prolog site. YAP-6 will work either with or without these packages.
A graphical interfaces to the tree is available from sourceforge
:- Development Version
The latest development version of Yap-6 is yap-6.3.3 and can be obtained as:The sources can also be obtained with git:
- a source tree is available from here (6.3.3)
- a Windows executable is available from here (6.3.2)
- an experimental Windows executable for 64 bits is available from here (6.3.2)
- a MAC OSX Lion executable for 64 bits is available from here (6.3.2). It includes support for cudd and ProbLog, the real R interface, and the Gecode interface (3.7.3).
git clone git://git.code.sf.net/p/yap/yap-6.3
- if you are a developer, please use
git clone git@git.dcc.fc.up.pt:yap-6.3
Several packages are shared with SWI-Prolog and need to be obtained separately. Proceed as follows:
git submodule init
git submodule update
These repositories are basically copies of the original repositories at the SWI-Prolog site. YAP-6 will work either with or without these packages.
A graphical interfaces to the tree is available from sourceforge
:- Old Stable Version
The YAP-5.1.3 version was the stable version for Yap [17-Jun-2008].
Support has now moved to Yap-6, but the sources can be found here:
Available binaries:
A beta-version of 5.1.4 is available by using git. You can get it from two repositories:
git clone git://yap.dcc.fc.up.pt/yap-5
git clone git://yap.git.sourceforge.net/gitroot/yap
A graphical interfaces to the tree is available from sourceforge
:- Old Development Version
The development version of Yap-6 was yap-6.0.6 and can be obtained as:The sources can also be obtained with git:
- a source tree is available from here
- a Windows executable is available from here
- an experimental Windows executable for 64 bits is available from here
- an OSX 10.6 installer is now available, thanks to Paulo Moura; please try 6.0.5
- a Windows executable with tabling is available for <6.0.5/a>.
git clone git://yap.dcc.fc.up.pt/yap-6
- if you are a developer, please use
git clone gitosis@yap.dcc.fc.up.pt:yap-6.git
- Alternatively, you can use
git clone git://gitorious.org/yap-git/mainline.git
The chr, clpqr, and chr packages are shared with SWI-Prolog and need to be obtained separately. Proceed as follows:
git submodule init
git submodule update
These repositories are basically copies of the original repositories at the SWI-Prolog site. YAP-6 will work either with or without these packages.
A graphical interfaces to the tree is available from gitorious
Previous versions:
yap-6.0.4.tar.gz and corresponding WIN32 executable
yap-6.0.3.tar.gz and corresponding WIN32 executable
yap-6.0.2.tar.gz and corresponding WIN32 executable
yap-6.0.1.tar.gz and corresponding WIN32 executable
yap-6.0.0.tar.gz and corresponding WIN32 executable
:- Old Stable Version
The YAP-5.1.1 version is now the major version for Yap [18-April-2006].
The sources can be found here:
The following binaries are available:
Linux/i386:
64 Bits
32 bits
x86_64
Athlon
i686
i586
i386
Fedora Core 5
Mandriva 2006
Static Version
binaries.tar.gz
(Should work with most Linux versions on x86)Linux/Alpha: binaries.tar.gz
SPARC/Solaris: binaries.tar.gz
Windows: installer.exe or binaries.zip unzip or install to C:\
Note: the binaries tar.gz should be installed as root using the commands: cd \ ; tar xvzf yap-version.tar.gz
the RPM's should be installed using the command: rpm -i yap-version.rpmPlease do report any bugs to yap-users@lists.sourceforge.net.
The manual is also available online or in PDF.
:- SOURCEFORGE
Development of Yap still uses sourceforge. Mailing lists are still located at sourceforge, and a GIT copy of the stable version is kept there. There is a central project page with all sourceforge information. You have there:
The GIT repository with the stable version.
You can always find the latest release at the sourceforge.
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 Vitor Santos Costa (vitor AT dcc.fc.up.pt).
:- Older Versions
YAP-5.0.1
The sources can be found here:
The following binaries are available:
Linux/i386:
64 Bits
32 bits
x86_64
Athlon
i686
i586
i386
Fedora Core 4
Mandrake 10.2
Static Version
binaries.tar.gz
(Should work with most Linux versions on x86)Linux/Alpha: binaries.tar.gz
SPARC/Solaris: binaries.tar.gz
Windows: installer.exe or binaries.zip unzip or install to C:\
Click here for Older Versions