:- Stable Version

The YAP-5.1.3 version is now the stable version for Yap  [17-Jun-2008].

The sources can be found here:

• Source.tar.gz

Available binaries:

• WIN 32 binaries

• Cygwin tar.gz

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

:- Development Version

The YAP-6 version is now the development version for Yap  [24-Mar-2009].

The sources can be obtained with git:

• 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 add git://yap.dcc.fc.up.pt/chr yap-6/packages/chr

• git submodule add git://yap.dcc.fc.up.pt/clpqr yap-6/packages/clpqr

• git submodule add git://yap.dcc.fc.up.pt/jpl yap-6/packages/jpl

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

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

• Source.tar.gz

• Source-small.tar.gz

The following binaries are available:

• Linux/i386:

  	64 Bits	32 bits
  	x86_64	Athlon	i686	i586	i386
  Fedora Core 5	RPM	RPM	RPM	RPM	RPM
  Mandriva 2006	RPM	RPM	RPM	RPM	RPM
  Static Version	binaries.tar.gz	binaries.tar.gz (Should work with most Linux versions on x86)

• Linux/Alpha:   binaries.tar.gz

• SPARC/Solaris:  binaries.tar.gz

• Apple PowerPC G4-G5: Mac OS X or linux

• 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.rpm

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

   

• The mailing lists archives.

   

• 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:

• Source.tar.gz

• Source-small.tar.gz

The following binaries are available:

• Linux/i386:

  	64 Bits	32 bits
  	x86_64	Athlon	i686	i586	i386
  Fedora Core 4	RPM	RPM	RPM	RPM	RPM
  Mandrake 10.2	RPM	RPM	RPM	RPM	RPM
  Static Version	binaries.tar.gz	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