just a mirror
This commit is contained in:
Diogo Cordeiro
commit
3209078bda
28502
YAP Prolog User’s Manual.html
Normal file
28502
YAP Prolog User’s Manual.html
Normal file
File diff suppressed because it is too large
Load Diff
101
applications.html
Normal file
101
applications.html
Normal file
@ -0,0 +1,101 @@
|
|||||||
|
<html>
|
||||||
|
<head>
|
||||||
|
<meta http-equiv="Content-Type" content="text/html;charset=utf-8">
|
||||||
|
|
||||||
|
<title>YAP Prolog</title>
|
||||||
|
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="all" href="balanced2/css/common.css">
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="screen" href="balanced2/css/screen.css">
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="print" href="balanced2/css/print.css">
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="projection" href="balanced2/css/projection.css">
|
||||||
|
|
||||||
|
<style type="text/css">
|
||||||
|
.style3 {
|
||||||
|
text-align: justify;
|
||||||
|
}
|
||||||
|
</style>
|
||||||
|
|
||||||
|
</head>
|
||||||
|
|
||||||
|
<body><!-- lang="en" dir="ltr"> -->
|
||||||
|
<div id="mastwrap">
|
||||||
|
|
||||||
|
<div id="masthead">
|
||||||
|
<a class="imageLink"> </a>
|
||||||
|
|
||||||
|
<div id="sisternav">
|
||||||
|
<ul>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="index.html">Main</a>
|
||||||
|
</li>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="downloads.html">Downloads</a>
|
||||||
|
</li>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="documentation.html">Documentation</a>
|
||||||
|
</li>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="packages.html">Packages</a>
|
||||||
|
</li>
|
||||||
|
<li id="current">
|
||||||
|
<a href="applications.html">Applications</a>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
</div>
|
||||||
|
|
||||||
|
</div> <!-- of masthead -->
|
||||||
|
</div> <!-- of mastwrap -->
|
||||||
|
|
||||||
|
|
||||||
|
<a id="top"></a>
|
||||||
|
|
||||||
|
<blockquote>
|
||||||
|
<h2>:- Applications</h2>
|
||||||
|
<p class="style3">
|
||||||
|
|
||||||
|
This is a list of some applications and contributions to YAP:
|
||||||
|
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
|
<p class="style3"> <A
|
||||||
|
HREF="http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/aleph_toc.html">Aleph
|
||||||
|
A Learning Engine for Proposing Hypotheses</A></p>
|
||||||
|
<p class="style3">
|
||||||
|
|
||||||
|
Aleph is an Inductive Logic Programming (ILP) system that supersedes P-Progol.
|
||||||
|
|
||||||
|
<li>
|
||||||
|
<p class="style3"> <A HREF="http://www.let.rug.nl/~vannoord/Fsa/">FSA Utilities Toolbox</A></p>
|
||||||
|
<p class="style3">
|
||||||
|
|
||||||
|
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.<p class="style3">
|
||||||
|
|
||||||
|
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.
|
||||||
|
|
||||||
|
<li>
|
||||||
|
<p class="style3"> <A HREF="http://www.ncc.up.pt/~mig/SceX.html">SceX: A Symbolic
|
||||||
|
Music Processing System</A></p>
|
||||||
|
<p class="style3">
|
||||||
|
|
||||||
|
SceX (pronounce it skech for score (T)eX) is a system that processes textual
|
||||||
|
descriptions of music pieces.
|
||||||
|
|
||||||
|
|
||||||
|
</p>
|
||||||
|
</blockquote>
|
||||||
|
|
||||||
|
</body>
|
||||||
|
</html>
|
||||||
1
dev/yap-6.3
Submodule
1
dev/yap-6.3
Submodule
@ -0,0 +1 @@
|
|||||||
|
Subproject commit bea2431c3ed833d81f5297e32c3776760c047561
|
||||||
BIN
dev/yap-6.3.3-installer.exe
Normal file
BIN
dev/yap-6.3.3-installer.exe
Normal file
Binary file not shown.
BIN
dev/yap-6.3.3-osx.tar.gz
Normal file
BIN
dev/yap-6.3.3-osx.tar.gz
Normal file
Binary file not shown.
BIN
dev/yap-6.3.3.tar.gz
Normal file
BIN
dev/yap-6.3.3.tar.gz
Normal file
Binary file not shown.
BIN
dev/yap64-6.3.3-installer.exe
Normal file
BIN
dev/yap64-6.3.3-installer.exe
Normal file
Binary file not shown.
652
downloads.html
Normal file
652
downloads.html
Normal file
@ -0,0 +1,652 @@
|
|||||||
|
<html>
|
||||||
|
<head>
|
||||||
|
<meta http-equiv="Content-Type" content="text/html;charset=utf-8">
|
||||||
|
|
||||||
|
<title>YAP Prolog</title>
|
||||||
|
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="all" href="balanced2/css/common.css">
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="screen" href="balanced2/css/screen.css">
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="print" href="balanced2/css/print.css">
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="projection" href="balanced2/css/projection.css">
|
||||||
|
|
||||||
|
<style type="text/css">
|
||||||
|
.style1 {
|
||||||
|
text-align: justify;
|
||||||
|
}
|
||||||
|
.style2 {
|
||||||
|
font-weight: bold;
|
||||||
|
}
|
||||||
|
</style>
|
||||||
|
|
||||||
|
</head>
|
||||||
|
|
||||||
|
<body><!-- lang="en" dir="ltr"> -->
|
||||||
|
<div id="mastwrap">
|
||||||
|
|
||||||
|
<div id="masthead">
|
||||||
|
<a class="imageLink"> </a>
|
||||||
|
|
||||||
|
<div id="sisternav">
|
||||||
|
<ul>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="index.html">Main</a>
|
||||||
|
</li>
|
||||||
|
<li id="current">
|
||||||
|
<a href="downloads.html">Downloads</a>
|
||||||
|
</li>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="documentation.html">Documentation</a>
|
||||||
|
</li>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="packages.html">Packages</a>
|
||||||
|
</li>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="applications.html">Applications</a>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
</div>
|
||||||
|
|
||||||
|
</div> <!-- of masthead -->
|
||||||
|
</div> <!-- of mastwrap -->
|
||||||
|
|
||||||
|
|
||||||
|
<a id="top"></a>
|
||||||
|
|
||||||
|
<blockquote class="style1">
|
||||||
|
|
||||||
|
<h2>:- Stable Version</h2>
|
||||||
|
|
||||||
|
<p class="style1"><span lang="en-gb"><font size="4"> <font
|
||||||
|
color="#FF0000"><STRONG>YAP</STRONG></font></font></span><font
|
||||||
|
color="#FF0000" size="4"><STRONG>-6</STRONG></font><span
|
||||||
|
lang="en-gb"><font size="4"> is now the stable version of
|
||||||
|
YAP </font><font size="5"> </font> [Oct-28-2010].</span> </p>
|
||||||
|
<p class="style1"><span lang="en-gb"> </p>
|
||||||
|
|
||||||
|
YAP-6 current version is yap-6.2.2 and can be obtained as:</span></p> <ul>
|
||||||
|
<li> a source
|
||||||
|
tree is available from <A HREF="yap-6.2.2.tar.gz">here</a>
|
||||||
|
</li>
|
||||||
|
<li> a Windows
|
||||||
|
executable is available from <A HREF="yap-6.2.2-installer.exe">here</a>
|
||||||
|
</li>
|
||||||
|
<li> a Windows
|
||||||
|
executable with tabling is available from <A HREF="yap-6.2.2-tabling-installer.exe">here</a>
|
||||||
|
</li>
|
||||||
|
<li> a Windows
|
||||||
|
executable for XP and older versions of Windows is available from <A HREF="yap-6.2.2-xp-installer.exe">here</a>
|
||||||
|
</li>
|
||||||
|
<li> a 64 bit Windows
|
||||||
|
executable is available from <A HREF="yap64-6.2.2-installer.exe">here</a>
|
||||||
|
</li>
|
||||||
|
<li> a cygwin
|
||||||
|
executable is available from <A HREF="yap-6.2.2-cygwin.tar.gz">here</a>
|
||||||
|
</li>
|
||||||
|
<!-- <li> an OSX 10.6 (Snow Leopard) installer is now available, thanks to Paulo -->
|
||||||
|
<!-- Moura. The installer includes tabling support, the ODBC interface, and -->
|
||||||
|
<!-- ProbLog. Please -->
|
||||||
|
<!-- try <A HREF="yap-6.2.0-tabling-snow-leopard.mpkg.zip">here</a> -->
|
||||||
|
<!-- </li> -->
|
||||||
|
</ul>
|
||||||
|
|
||||||
|
The sources can also be obtained with
|
||||||
|
git:</span></p>
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb">git clone git://yap.dcc.fc.up.pt/yap-6</span></p>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<!-- if you are a developer, please use <p class="style1"><span lang="en-gb">git clone gitosis@yap.dcc.fc.up.pt:yap-6.git</span></p> -->
|
||||||
|
<!-- </li> -->
|
||||||
|
<!-- <li> -->
|
||||||
|
Alternatively, you can use <p class="style1"><span
|
||||||
|
lang="en-gb">git clone git://gitorious.org/yap-git/mainline.git</span></p>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
<p class="style1"><span lang="en-gb">Several packages are
|
||||||
|
shared with SWI-Prolog and need to be obtained separately. Proceed as follows:</span></p>
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb">git submodule init</span></p>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb">git submodule update</span></p>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
|
||||||
|
<p class="style1"><span lang="en-gb">These repositories are basically
|
||||||
|
copies of the original repositories at the <A
|
||||||
|
HREF="http://www.swi-prolog.org/git/">SWI-Prolog</a> site. YAP-6 will work
|
||||||
|
either with or without these packages.</span></p>
|
||||||
|
|
||||||
|
<p class="style1"><span lang="en-gb">A graphical interfaces to the
|
||||||
|
tree is available from <a
|
||||||
|
href="http://yap.git.sourceforge.net/git/gitweb-index.cgi">sourceforge</a></span></p>
|
||||||
|
|
||||||
|
<h2>:- Development Version</h2>
|
||||||
|
|
||||||
|
The latest development version of Yap-6 is yap-6.3.3 and can be obtained as:</span></p> <ul>
|
||||||
|
<li> a source
|
||||||
|
tree is available from <A HREF="yap-6.3.3.tar.gz">here (6.3.3)</a>
|
||||||
|
</li>
|
||||||
|
<li> a Windows
|
||||||
|
executable is available from <A HREF="yap-6.3.3-installer.exe">here (6.3.2)</a>
|
||||||
|
</li>
|
||||||
|
<li> an experimental Windows
|
||||||
|
executable for 64 bits is available from <A HREF="yap64-6.3.3-installer.exe">here (6.3.2)</a>
|
||||||
|
<!-- <li> a Windows -->
|
||||||
|
<!-- executable for cygwin is available -->
|
||||||
|
<!-- from <A HREF="yap-6.3.2-cygwin.tar.gz">here (6.3.2)</a>. -->
|
||||||
|
<li> a MAC OSX Lion
|
||||||
|
executable for 64 bits is available
|
||||||
|
from <A HREF="yap-6.3.3-osx.tar.gz">here (6.3.2)</a>. It
|
||||||
|
includes support for cudd and ProbLog, the real R interface, and the
|
||||||
|
Gecode interface (3.7.3).
|
||||||
|
<!-- </li> -->
|
||||||
|
<!-- <li> an OSX 10.6 installer is now available, thanks to Paulo Moura; please -->
|
||||||
|
<!-- try <A HREF="yap-6.0.5-snow-leopard.mpkg.zip">6.0.5</a> -->
|
||||||
|
<!-- </li> -->
|
||||||
|
<!-- <li> a Windows -->
|
||||||
|
<!-- executable with tabling is available for <A -->
|
||||||
|
<!-- HREF="yap-6.0.5-tabling-installer.exe"><6.0.5/a>. -->
|
||||||
|
<!-- </li> -->
|
||||||
|
</ul>
|
||||||
|
|
||||||
|
The sources can also be obtained with
|
||||||
|
git:</span></p>
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb">git clone git://git.code.sf.net/p/yap/yap-6.3</span></p>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
if you are a developer, please use <p class="style1"><span lang="en-gb">git clone git@git.dcc.fc.up.pt:yap-6.3</span></p>
|
||||||
|
</li>
|
||||||
|
<!-- <li> -->
|
||||||
|
<!-- Alternatively, you can use <p class="style1"><span -->
|
||||||
|
<!-- lang="en-gb">git clone git://gitorious.org/yap-git/mainline.git</span></p> -->
|
||||||
|
<!-- </li> -->
|
||||||
|
</ul>
|
||||||
|
<p class="style1"><span lang="en-gb">Several packages are
|
||||||
|
shared with SWI-Prolog and need to be obtained separately. Proceed as follows:</span></p>
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb">git submodule init</span></p>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb">git submodule update</span></p>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
|
||||||
|
<p class="style1"><span lang="en-gb">These repositories are basically
|
||||||
|
copies of the original repositories at the <A
|
||||||
|
HREF="http://www.swi-prolog.org/git/">SWI-Prolog</a> site. YAP-6 will work
|
||||||
|
either with or without these packages.</span></p>
|
||||||
|
|
||||||
|
<p class="style1"><span lang="en-gb">A graphical interfaces to the
|
||||||
|
tree is available from <a
|
||||||
|
href="http://sourceforge.net/p/yap/yap-6.3/ci/master/tree/">sourceforge</a></span></p>
|
||||||
|
|
||||||
|
<h2>:- Old Stable Version</h2>
|
||||||
|
|
||||||
|
<p class="style1"><span lang="en-gb"><font size="4">The <font color="#FF0000"><STRONG>YAP</STRONG></font></font></span><font color="#FF0000" size="4"><STRONG>-5.1.3</STRONG></font><span lang="en-gb"><font size="4"> version was the stable version for
|
||||||
|
Yap </font><font size="5"> </font> [17-Jun-2008].</span> </p>
|
||||||
|
<p class="style1"><span lang="en-gb">Support has now moved to Yap-6, but the sources can be found here:</span></p>
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb"><a href="current/Yap-5.1.3.tar.gz">Source.tar.gz</a></span></p>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
<p class="style1"><span lang="en-gb">Available binaries:</span></p>
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb"><a
|
||||||
|
href="current/yap-5.1.3-installer.exe">WIN 32 binaries</a></span></p>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb">
|
||||||
|
<a href="current/Yap-5.1.3-cygwin.tar.gz">Cygwin tar.gz</a></span></p>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
|
||||||
|
<p class="style1"><span lang="en-gb">A beta-version of <font color="#FF0000" size="3"><strong>5.1.4</strong></font> is
|
||||||
|
available by using git. You can get it from two repositories:</span></p>
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
|
<p class="style1">git clone git://yap.dcc.fc.up.pt/yap-5</p>
|
||||||
|
</li>
|
||||||
|
<li><p class="style1">git clone git://yap.git.sourceforge.net/gitroot/yap</p>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
|
||||||
|
<p class="style1"><span lang="en-gb">A graphical interfaces to the
|
||||||
|
tree is available from <A HREF="http://yap.git.sourceforge.net/git/gitweb.cgi?p=yap">sourceforge</a></span></p>
|
||||||
|
|
||||||
|
|
||||||
|
<h2>:- Old Development Version</h2>
|
||||||
|
|
||||||
|
The development version of Yap-6 was yap-6.0.6 and can be obtained as:</span></p> <ul>
|
||||||
|
<li> a source
|
||||||
|
tree is available from <A HREF="yap-6.0.6.tar.gz">here</a>
|
||||||
|
</li>
|
||||||
|
<li> a Windows
|
||||||
|
executable is available from <A HREF="yap-6.0.6-installer.exe">here</a>
|
||||||
|
</li>
|
||||||
|
<li> an experimental Windows
|
||||||
|
executable for 64 bits is available from <A HREF="yap64-6.0.5.zip">here</a>
|
||||||
|
</li>
|
||||||
|
<li> an OSX 10.6 installer is now available, thanks to Paulo Moura; please
|
||||||
|
try <A HREF="yap-6.0.5-snow-leopard.mpkg.zip">6.0.5</a>
|
||||||
|
</li>
|
||||||
|
<li> a Windows
|
||||||
|
executable with tabling is available for <A
|
||||||
|
HREF="yap-6.0.5-tabling-installer.exe"><6.0.5/a>.
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
|
||||||
|
The sources can also be obtained with
|
||||||
|
git:</span></p>
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb">git clone git://yap.dcc.fc.up.pt/yap-6</span></p>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
if you are a developer, please use <p class="style1"><span lang="en-gb">git clone gitosis@yap.dcc.fc.up.pt:yap-6.git</span></p>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
Alternatively, you can use <p class="style1"><span
|
||||||
|
lang="en-gb">git clone git://gitorious.org/yap-git/mainline.git</span></p>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
<p class="style1"><span lang="en-gb">The chr, clpqr, and chr packages are
|
||||||
|
shared with SWI-Prolog and need to be obtained separately. Proceed as follows:</span></p>
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb">git submodule init</span></p>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb">git submodule update</span></p>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
|
||||||
|
<p class="style1"><span lang="en-gb">These repositories are basically
|
||||||
|
copies of the original repositories at the <A
|
||||||
|
HREF="http://www.swi-prolog.org/git/">SWI-Prolog</a> site. YAP-6 will work
|
||||||
|
either with or without these packages.</span></p>
|
||||||
|
|
||||||
|
<p class="style1"><span lang="en-gb">A graphical interfaces to the
|
||||||
|
tree is available from <a
|
||||||
|
href="http://gitorious.org/projects/yap-git">gitorious</a></span></p>
|
||||||
|
|
||||||
|
Previous versions:</span></p>
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb"><A HREF="yap-6.0.4.tar.gz">yap-6.0.4.tar.gz</a> and corresponding WIN32 <A HREF="yap-6.0.4-installer.exe">executable</a> </span></p>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb"><A HREF="yap-6.0.3.tar.gz">yap-6.0.3.tar.gz</a> and corresponding WIN32 <A HREF="yap-6.0.3-installer.exe">executable</a> </span></p>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb"><A HREF="yap-6.0.2.tar.gz">yap-6.0.2.tar.gz</a> and corresponding WIN32 <A HREF="yap-6.0.2-installer.exe">executable</a> </span></p>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb"><A HREF="yap-6.0.1.tar.gz">yap-6.0.1.tar.gz</a> and corresponding WIN32 <A HREF="yap-6.0.1-installer.exe">executable</a> </span></p>
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb"><A HREF="yap-6.0.0.tar.gz">yap-6.0.0.tar.gz</a> and corresponding WIN32 <A HREF="yap-6.0.0-installer.exe">executable</a> </span></p>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
|
||||||
|
<h2>:- Old Stable Version</h2>
|
||||||
|
|
||||||
|
<p class="style1"><span lang="en-gb"><font size="4">The <font color="#FF0000"><STRONG>YAP</STRONG></font></font></span><font color="#FF0000" size="4"><STRONG>-5.1.1</STRONG></font><span lang="en-gb"><font size="4"> version is now the major version for
|
||||||
|
Yap </font><font size="5"> </font> [18-April-2006].</span> </p>
|
||||||
|
<p class="style1"><span lang="en-gb">The sources can be found here:</span></p>
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb"><a href="current/Yap-5.1.1.tar.gz">Source.tar.gz</a></span></p>
|
||||||
|
</li>
|
||||||
|
<li class="style1">
|
||||||
|
<p class="style1"><span lang="en-gb">
|
||||||
|
<a href="current/Yap-5.1.1-small.tar.gz">Source-small.tar.gz</a></span></p>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
<p class="style1"><span lang="en-gb">The following binaries are available: </span> </p>
|
||||||
|
<UL>
|
||||||
|
|
||||||
|
<LI>
|
||||||
|
<p class="style1"> <span lang="en-gb"><b>Linux/i386</b>: </span>
|
||||||
|
</p>
|
||||||
|
<table border="1" width="80%" id="table2">
|
||||||
|
<tr>
|
||||||
|
<td rowspan="2" style="width: 16%; background-color: #3366CC;">
|
||||||
|
<p class="style1"></p>
|
||||||
|
</td>
|
||||||
|
<td width="10%" align="center" bgcolor="#000000">
|
||||||
|
<p class="rcicon2"><b>
|
||||||
|
<font color="#FFFFFF" size="4">64 Bits</font></b></p>
|
||||||
|
</td>
|
||||||
|
<td colspan="4" align="center" style="background-color: #666666">
|
||||||
|
<p class="rcicon2">
|
||||||
|
<font color="#FFFFFF" size="4"><span class="style2">32 bits</span></font></p>
|
||||||
|
</td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td width="10%" bgcolor="#000000">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<font color="#FFFFFF" size="4"><b>x86_64</b></font></p>
|
||||||
|
</td>
|
||||||
|
<td width="14%" bgcolor="#000000">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<font color="#FFFFFF" size="4"><b>Athlon</b></font></p>
|
||||||
|
</td>
|
||||||
|
<td width="12%" bgcolor="#000000">
|
||||||
|
<p class="rcicon1"><b>
|
||||||
|
<font color="#FFFFFF" size="4">i686</font></b></p>
|
||||||
|
</td>
|
||||||
|
<td width="11%" bgcolor="#000000">
|
||||||
|
<p class="rcicon1"><b>
|
||||||
|
<font color="#FFFFFF" size="4">i586</font></b></p>
|
||||||
|
</td>
|
||||||
|
<td width="16%" bgcolor="#000000">
|
||||||
|
<p class="rcicon1"><b>
|
||||||
|
<font color="#FFFFFF" size="4">i386</font></b></p>
|
||||||
|
</td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td style="width: 16%; background-color: #3366CC;">
|
||||||
|
<p class="style1"><b><font size="4" color="#FFFFFF">
|
||||||
|
Fedora Core 5</font></b></p>
|
||||||
|
</td>
|
||||||
|
<td width="10%" style="text-align: center">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<a href="current/Yap-5.1.1-1.fc5.x86_64.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td width="14%" style="text-align: center">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<a href="current/Yap-5.1.1-1.fc5.athlon.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td width="12%" style="text-align: center">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<a href="current/Yap-5.1.1-1.fc5.i686.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td width="11%" style="text-align: center">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<a href="current/Yap-5.1.1-1.fc5.i586.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td width="16%" style="text-align: center">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<a href="current/Yap-5.1.1-1.fc5.i386.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td style="width: 16%; background-color: #3366CC;">
|
||||||
|
<p class="style1" style="width: 168px"><b><font size="4" color="#FFFFFF">
|
||||||
|
Mandriva 2006</font></b></p>
|
||||||
|
</td>
|
||||||
|
<td width="10%" style="text-align: center">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<a href="current/Yap-5.1.1-1.mdk2006.x86_64.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td width="14%" style="text-align: center">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<a href="current/Yap-5.1.1-1.mdk2006.athlon.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td width="12%" style="text-align: center">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<a href="current/Yap-5.1.1-1.mdk2006.i686.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td width="11%" style="text-align: center">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<a href="current/Yap-5.1.1-1.mdk2006.i586.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td width="16%" style="text-align: center">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<a href="current/Yap-5.1.1-1.mdk2006.i386.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td style="width: 16%; background-color: #3366CC;">
|
||||||
|
<p class="style1"><b><font size="4" color="#FFFFFF">
|
||||||
|
Static Version</font></b></p>
|
||||||
|
</td>
|
||||||
|
<td width="10%" align="center">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<a href="current/Yap-5.1.1-static.x86_64.tar.gz">binaries.tar.gz</a></p>
|
||||||
|
</td>
|
||||||
|
<td width="62%" colspan="4" style="text-align: justify">
|
||||||
|
<p class="style1">
|
||||||
|
<p class="rcicon1">
|
||||||
|
<a href="current/Yap-5.1.1-static.tar.gz">binaries.tar.gz</a><br>
|
||||||
|
(Should work with most Linux versions on x86)</p>
|
||||||
|
</p>
|
||||||
|
</td>
|
||||||
|
</tr>
|
||||||
|
</table>
|
||||||
|
<LI class="style1">
|
||||||
|
<p class="style1"> <span lang="en-gb"><b>Linux/Alpha</b>: </span> <a href="current/Yap-5.1.1.alpha.tar.gz">binaries.tar.gz</a>
|
||||||
|
<LI class="style1">
|
||||||
|
<p class="style1">
|
||||||
|
<b>
|
||||||
|
<span lang="en-gb">SPARC/Solaris:</span></b>
|
||||||
|
<a href="current/Yap-5.1.1.sun.tar.gz">binaries.tar.gz</a>
|
||||||
|
|
||||||
|
<LI class="style1">
|
||||||
|
<p class="style1"> <span lang="en-gb"><b>Apple PowerPC G4-G5</b>: </span>
|
||||||
|
<a href="current/Yap-5.1.1-macos.ppc.tar.gz">Mac OS X</a> or
|
||||||
|
<a href="current/Yap-5.1.1-linuxppc.tar.gz">linux</a>
|
||||||
|
|
||||||
|
<LI class="style1">
|
||||||
|
<p class="style1"> <span lang="en-gb"><b>Windows</b>: </span>
|
||||||
|
<a href="current/Yap-5.1.1.exe">installer.exe</a> or
|
||||||
|
<a href="current/Yap-5.1.1.zip">binaries.zip</a>
|
||||||
|
<font color="#808080">
|
||||||
|
unzip or install to C:\</font></p>
|
||||||
|
</UL>
|
||||||
|
<p class="style1">Note:<font color="#808080"> the binaries tar.gz should be installed as root
|
||||||
|
using the commands: cd \ ; tar xvzf yap-version.tar.gz<br>
|
||||||
|
the RPM's should be installed using the command: rpm -i yap-version.rpm</font></p>
|
||||||
|
|
||||||
|
<p class="style1"><span lang="en-gb">Please do report any bugs to <A
|
||||||
|
HREF=MAILTO:yap-users@lists.sourceforge.net>yap-users@lists.sourceforge.net</A>.
|
||||||
|
</span>
|
||||||
|
</p>
|
||||||
|
<p class="style1">
|
||||||
|
|
||||||
|
<span lang="en-gb"><strong>The manual is also available
|
||||||
|
<a href="documentation.html">online</a> or in <a href="yap.pdf">PDF</a>.</strong><br>
|
||||||
|
</span><hr class="style1">
|
||||||
|
|
||||||
|
<H2 class="style1">:- SOURCEFORGE</H2>
|
||||||
|
|
||||||
|
<p class="style1">
|
||||||
|
<p class="style1">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 <A
|
||||||
|
HREF="http://sourceforge.net/projects/yap/">project page</a> with all
|
||||||
|
sourceforge information. You have there:
|
||||||
|
|
||||||
|
</p>
|
||||||
|
|
||||||
|
<ul>
|
||||||
|
|
||||||
|
<li class="style1">
|
||||||
|
<p class="style1">The <A HREF="http://yap.git.sourceforge.net/git/gitweb.cgi?p=yap">GIT</A> repository with the stable version.
|
||||||
|
</p>
|
||||||
|
<p class="style1">
|
||||||
|
|
||||||
|
<li class="style1">
|
||||||
|
<p class="style1">The <A
|
||||||
|
HREF="http://sourceforge.net/mail/?group_id=24437">mailing lists archives</a>.
|
||||||
|
</p>
|
||||||
|
<p class="style1">
|
||||||
|
|
||||||
|
<li class="style1">
|
||||||
|
<p class="style1">You can always find the latest release at the
|
||||||
|
<A
|
||||||
|
HREF="http://sourceforge.net/project/showfiles.php?group_id=24437">sourceforge</a>.
|
||||||
|
<p class="style1">If you are interested in following the development of Yap, please
|
||||||
|
consider joining one of the Yap
|
||||||
|
<A
|
||||||
|
HREF="http://sourceforge.net/mail/?group_id=24437">mailing
|
||||||
|
lists</a>. If you are interested in contributing directly the project,
|
||||||
|
please contact Vitor Santos Costa (<A
|
||||||
|
HREF=MAILTO:vscATdcc.fcc.up.pt>vitor AT dcc.fc.up.pt</A>).
|
||||||
|
|
||||||
|
</ul>
|
||||||
|
|
||||||
|
<hr>
|
||||||
|
<br>
|
||||||
|
<h2>:- Older Versions</h2>
|
||||||
|
|
||||||
|
<p class="style1"><span lang="en-gb"><font color="#FF0000" size="4"><STRONG>YAP</STRONG></font></span><font color="#FF0000" size="4"><STRONG>-5.0.1</STRONG></font></p>
|
||||||
|
<p class="style1"><span lang="en-gb">The sources can be found here:</span></p>
|
||||||
|
<ul>
|
||||||
|
<li>
|
||||||
|
<p class="style1"><span lang="en-gb"><a href="current/Yap-5.0.1.tar.gz">Source.tar.gz</a></span></p>
|
||||||
|
</li>
|
||||||
|
<li class="style1">
|
||||||
|
<p class="style1"><a href="current/Yap-5.0.1-small.tar.gz"><span lang="en-gb">Source</span></a><span lang="en-gb"><a href="current/Yap-5.0.1-small.tar.gz">-small.tar.gz</a></span></p>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
<p class="style1"><span lang="en-gb">The following binaries are available: </span> </p>
|
||||||
|
<UL>
|
||||||
|
|
||||||
|
<LI>
|
||||||
|
<p class="style1"> <span lang="en-gb"><b>Linux/i386</b>: </span>
|
||||||
|
</p>
|
||||||
|
<table border="1" width="80%" id="table3">
|
||||||
|
<tr>
|
||||||
|
<td rowspan="2" bgcolor="#000000">
|
||||||
|
<p class="style1"> </p>
|
||||||
|
</td>
|
||||||
|
<td width="10%" align="center" bgcolor="#000000">
|
||||||
|
<p class="style1"><b>
|
||||||
|
<font color="#FFFFFF" size="4">64 Bits</font></b></p>
|
||||||
|
</td>
|
||||||
|
<td colspan="4" align="center" bgcolor="#000000">
|
||||||
|
<p class="rcicon2"><b>
|
||||||
|
<font color="#FFFFFF" size="4">32 bits</font></b></p>
|
||||||
|
</td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td width="10%" align="center" bgcolor="#000000">
|
||||||
|
<p class="style1">
|
||||||
|
<font color="#FFFFFF" size="4"><b>x86_64</b></font></p>
|
||||||
|
</td>
|
||||||
|
<td align="center" width="14%" bgcolor="#000000">
|
||||||
|
<p class="style1">
|
||||||
|
<font color="#FFFFFF" size="4"><b>Athlon</b></font></p>
|
||||||
|
</td>
|
||||||
|
<td align="center" width="12%" bgcolor="#000000">
|
||||||
|
<p class="style1"><b>
|
||||||
|
<font color="#FFFFFF" size="4">i686</font></b></p>
|
||||||
|
</td>
|
||||||
|
<td align="center" width="11%" bgcolor="#000000">
|
||||||
|
<p class="style1"><b>
|
||||||
|
<font color="#FFFFFF" size="4">i586</font></b></p>
|
||||||
|
</td>
|
||||||
|
<td align="center" width="16%" bgcolor="#000000">
|
||||||
|
<p class="style1"><b>
|
||||||
|
<font color="#FFFFFF" size="4">i386</font></b></p>
|
||||||
|
</td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td bgcolor="#000000">
|
||||||
|
<p class="style1"><b><font size="4" color="#FFFFFF">
|
||||||
|
Fedora Core 4</font></b></p>
|
||||||
|
</td>
|
||||||
|
<td width="10%" align="center">
|
||||||
|
<p class="style1">
|
||||||
|
<a href="current/Yap-5.0.1-1.fc4.x86_64.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td align="center" width="14%">
|
||||||
|
<p class="style1">
|
||||||
|
<a href="current/Yap-5.0.1-1.fc4.athlon.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td align="center" width="12%">
|
||||||
|
<p class="style1">
|
||||||
|
<a href="current/Yap-5.0.1-1.fc4.i686.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td align="center" width="11%">
|
||||||
|
<p class="style1">
|
||||||
|
<a href="current/Yap-5.0.1-1.fc4.i586.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td align="center" width="16%">
|
||||||
|
<p class="style1">
|
||||||
|
<a href="current/Yap-5.0.1-1.fc4.i386.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td bgcolor="#000000">
|
||||||
|
<p class="style1"><b><font size="4" color="#FFFFFF">
|
||||||
|
Mandrake 10.2</font></b></p>
|
||||||
|
</td>
|
||||||
|
<td width="10%" align="center">
|
||||||
|
<p class="style1">
|
||||||
|
<a href="current/Yap-5.0.1-1.md2005.x86_64.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td align="center" width="14%">
|
||||||
|
<p class="style1">
|
||||||
|
<a href="current/Yap-5.0.1-1.md2005.athlon.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td align="center" width="12%">
|
||||||
|
<p class="style1">
|
||||||
|
<a href="current/Yap-5.0.1-1.md2005.i686.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td align="center" width="11%">
|
||||||
|
<p class="style1">
|
||||||
|
<a href="current/Yap-5.0.1-1.md2005.i586.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
<td align="center" width="16%">
|
||||||
|
<p class="style1">
|
||||||
|
<a href="current/Yap-5.0.1-1.md2005.i386.rpm">RPM</a></p>
|
||||||
|
</td>
|
||||||
|
</tr>
|
||||||
|
<tr>
|
||||||
|
<td bgcolor="#000000">
|
||||||
|
<p class="style1"><b><font size="4" color="#FFFFFF">
|
||||||
|
Static Version</font></b></p>
|
||||||
|
</td>
|
||||||
|
<td width="10%" align="center">
|
||||||
|
<p class="style1">
|
||||||
|
<a href="current/Yap-5.0.1-static.x86_64.tar.gz">binaries.tar.gz</a></p>
|
||||||
|
</td>
|
||||||
|
<td width="62%" colspan="4">
|
||||||
|
<p class="style1">
|
||||||
|
<p class="style1">
|
||||||
|
<a href="current/Yap-5.0.1-static.tar.gz">binaries.tar.gz</a><br>
|
||||||
|
(Should work with most Linux versions on x86)</p>
|
||||||
|
</p>
|
||||||
|
</td>
|
||||||
|
</tr>
|
||||||
|
</table>
|
||||||
|
<LI class="style1">
|
||||||
|
<p class="style1"> <span lang="en-gb"><b>Linux/Alpha</b>: </span> <a href="current/Yap-5.0.1.alpha.tar.gz">binaries.tar.gz</a>
|
||||||
|
<font color="#808080"> </font></p>
|
||||||
|
<LI class="style1">
|
||||||
|
<p class="style1">
|
||||||
|
<b>
|
||||||
|
<span lang="en-gb">SPARC/Solaris:</span></b>
|
||||||
|
<a href="current/Yap-5.0.1.sun.tar.gz">binaries.tar.gz</a>
|
||||||
|
<font color="#808080">
|
||||||
|
</font></p>
|
||||||
|
<LI class="style1">
|
||||||
|
<p class="style1"> <span lang="en-gb"><b>Windows</b>: </span>
|
||||||
|
<a href="current/Yap-5.0.1.exe">installer.exe</a> or
|
||||||
|
<a href="current/Yap-5.0.1.zip">binaries.zip</a>
|
||||||
|
<font color="#808080">
|
||||||
|
unzip or install to C:\</font></p>
|
||||||
|
</UL>
|
||||||
|
<H2 ALIGN=CENTER><a href="old/index.html">Click here for Older Versions</a></H2>
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
</p>
|
||||||
|
|
||||||
|
</blockquote>
|
||||||
|
|
||||||
|
</body>
|
||||||
|
</html>
|
||||||
167
index.html
Normal file
167
index.html
Normal file
@ -0,0 +1,167 @@
|
|||||||
|
<html>
|
||||||
|
<head>
|
||||||
|
<meta http-equiv="Content-Type" content="text/html;charset=utf-8">
|
||||||
|
|
||||||
|
<title>YAP Prolog</title>
|
||||||
|
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="all" href="balanced2/css/common.css">
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="screen" href="balanced2/css/screen.css">
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="print" href="balanced2/css/print.css">
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="projection" href="balanced2/css/projection.css">
|
||||||
|
|
||||||
|
<style type="text/css">
|
||||||
|
.style1 {
|
||||||
|
text-align: justify;
|
||||||
|
}
|
||||||
|
.style2 {
|
||||||
|
text-align: left;
|
||||||
|
}
|
||||||
|
.style3 {
|
||||||
|
text-align: center;
|
||||||
|
font-size: medium;
|
||||||
|
}
|
||||||
|
.style4 {
|
||||||
|
font-size: xx-small;
|
||||||
|
}
|
||||||
|
</style>
|
||||||
|
|
||||||
|
</head>
|
||||||
|
|
||||||
|
<body><!-- lang="en" dir="ltr"> -->
|
||||||
|
<div id="mastwrap">
|
||||||
|
|
||||||
|
<div id="masthead">
|
||||||
|
<a class="imageLink"> </a>
|
||||||
|
|
||||||
|
<div id="sisternav">
|
||||||
|
<ul>
|
||||||
|
<li id="current">
|
||||||
|
<a href="index.html">Main</a>
|
||||||
|
</li>
|
||||||
|
|
||||||
|
<li id="plain">
|
||||||
|
<a href="downloads.html">Downloads</a>
|
||||||
|
</li>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="documentation.html">Documentation</a>
|
||||||
|
</li>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="packages.html">Packages</a>
|
||||||
|
|
||||||
|
</li>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="applications.html">Applications</a>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
</div>
|
||||||
|
|
||||||
|
</div> <!-- of masthead -->
|
||||||
|
</div> <!-- of mastwrap -->
|
||||||
|
|
||||||
|
|
||||||
|
<a id="top"></a>
|
||||||
|
|
||||||
|
<blockquote>
|
||||||
|
<h2>:- Yet Another Prolog</h2>
|
||||||
|
<table border="0" width="80%" id="table1">
|
||||||
|
<tr>
|
||||||
|
<td style="border-style: none; border-width: medium;width: 426px">
|
||||||
|
<img src="Coppe.gif"></td>
|
||||||
|
|
||||||
|
<td style="border-style: none; border-width: medium;width: 401px">
|
||||||
|
<p class="style3">
|
||||||
|
<img src="up_hp.gif" style="float: right">UNIVERSIDADE <br>
|
||||||
|
DO PORTO</p>
|
||||||
|
</td>
|
||||||
|
</tr>
|
||||||
|
</table>
|
||||||
|
<p class="style1"><strong>YAP</strong> is a high-performance Prolog compiler
|
||||||
|
developed at <a href="http://www.ncc.up.pt/liacc">LIACC</a>/<a href="http://www.up.pt">Universidade
|
||||||
|
do Porto</a> and at <a href="http://www.cos.ufrj.br/">COPPE Sistemas</a>/<a href="http://www.ufrj.br/">UFRJ</a>.
|
||||||
|
Its Prolog engine is based in the WAM (Warren Abstract Machine), with
|
||||||
|
several optimizations for better performance. <strong>YAP</strong> follows
|
||||||
|
the Edinburgh tradition, and is largely compatible with the ISO-Prolog
|
||||||
|
standard and with Quintus and SICStus Prolog. <strong>YAP</strong> 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
|
||||||
|
<strong>YAP</strong> strives at several goals: </p>
|
||||||
|
|
||||||
|
<ul>
|
||||||
|
<li class="style2">
|
||||||
|
<p class="style1">Portability: The whole system is now written in C.
|
||||||
|
<strong>YAP</strong> compiles in popular 32 bit machines, such as Suns
|
||||||
|
and Linux PCs, and in a 64 bit machines, the Alphas running OSF Unix and
|
||||||
|
Linux. </p>
|
||||||
|
</li>
|
||||||
|
<li class="style2">
|
||||||
|
<p class="style1">Performance: We have optimised the emulator to obtain
|
||||||
|
performance comparable to or better than well-known Prolog systems. In
|
||||||
|
fact, the current version of <strong>YAP</strong> performs better than
|
||||||
|
the original one, written in assembly language. </p>
|
||||||
|
|
||||||
|
</li>
|
||||||
|
<li>
|
||||||
|
<p class="style1">Robustness: We have tested the system with a large
|
||||||
|
array of Prolog applications. </p>
|
||||||
|
</li>
|
||||||
|
<li class="style2">
|
||||||
|
<p class="style1">Extensibility: <strong>YAP</strong> was designed
|
||||||
|
internally from the beginning to encapsulate manipulation of terms.
|
||||||
|
These principles were used, for example, to implement a simple and
|
||||||
|
powerful C-interface. The new version of <strong>YAP</strong> extends
|
||||||
|
these principles to accomodate extensions to the unification algorithm,
|
||||||
|
that we believe will be useful to implement extensions such as
|
||||||
|
constraint programming.</p>
|
||||||
|
|
||||||
|
</li>
|
||||||
|
<li class="style2">
|
||||||
|
<p class="style1">Completeness: <strong>YAP</strong> has for a long time
|
||||||
|
provided most builtins expected from a Edinburgh Prolog implementation.
|
||||||
|
These include I/O functionality, data-base operations, and modules. Work
|
||||||
|
on <strong>YAP</strong> aims now at being compatible with the Prolog
|
||||||
|
standard. </p>
|
||||||
|
|
||||||
|
</li>
|
||||||
|
<li class="style2">
|
||||||
|
<p class="style1">Openess: We would like to make new development of
|
||||||
|
<strong>YAP</strong> open to the user community. </p>
|
||||||
|
</li>
|
||||||
|
<li class="style2">
|
||||||
|
<p class="style1">Research: <strong>YAP</strong> has been a vehicle for
|
||||||
|
research within and outside our group. Currently research is going on on
|
||||||
|
parallelisation and tabulation, and support for <a href="clpbn">Bayesian
|
||||||
|
Networks</a>. </p>
|
||||||
|
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
<p class="style1">YAP 4.0 and early versions of YAP 4.1 were distributed
|
||||||
|
under a <a href="license.html">license</a> that enables free use in academic
|
||||||
|
environments. From Yap4.1.15 onwards YAP is distributed under Perls's
|
||||||
|
<a href="Artistic">Artistic</a> 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! </p>
|
||||||
|
|
||||||
|
<p class="style1">Mirrors of this page are available at
|
||||||
|
<a href="http://yap.sourceforge.net/">sourceforge</a>, at
|
||||||
|
<a href="http://www.ncc.up.pt/~vsc/Yap">Universidade do Porto</a>, and at
|
||||||
|
<a href="http://www.cos.ufrj.br/~vitor/Yap">Universidade Federal do Rio de
|
||||||
|
Janeiro</a> (the one in Rio currently has problems). </p>
|
||||||
|
|
||||||
|
<P>
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
<p align="right">
|
||||||
|
<br />
|
||||||
|
|
||||||
|
<!-- <b>Warning</b>: fread(): Length parameter must be greater than 0. in <b>/home/vsc/public_html/Yap/index.html</b> on line <b>166</b><br /> -->
|
||||||
|
<!-- <br> -->
|
||||||
|
<!-- <span class="style4">(Accesses since December 2005)</span> -->
|
||||||
|
|
||||||
|
</blockquote>
|
||||||
|
|
||||||
|
</body>
|
||||||
|
|
||||||
|
</html>
|
||||||
BIN
oldstable/32_linux/Yap-5.1.1-static.tar.gz
Normal file
BIN
oldstable/32_linux/Yap-5.1.1-static.tar.gz
Normal file
Binary file not shown.
BIN
oldstable/32_linux/fc5/Yap-5.1.1-1.fc5.athlon.rpm
Normal file
BIN
oldstable/32_linux/fc5/Yap-5.1.1-1.fc5.athlon.rpm
Normal file
Binary file not shown.
BIN
oldstable/32_linux/fc5/Yap-5.1.1-1.fc5.i386.rpm
Normal file
BIN
oldstable/32_linux/fc5/Yap-5.1.1-1.fc5.i386.rpm
Normal file
Binary file not shown.
BIN
oldstable/32_linux/fc5/Yap-5.1.1-1.fc5.i586.rpm
Normal file
BIN
oldstable/32_linux/fc5/Yap-5.1.1-1.fc5.i586.rpm
Normal file
Binary file not shown.
BIN
oldstable/32_linux/fc5/Yap-5.1.1-1.fc5.i686.rpm
Normal file
BIN
oldstable/32_linux/fc5/Yap-5.1.1-1.fc5.i686.rpm
Normal file
Binary file not shown.
BIN
oldstable/32_linux/mdk2006/Yap-5.1.1-1.mdk2006.athlon.rpm
Normal file
BIN
oldstable/32_linux/mdk2006/Yap-5.1.1-1.mdk2006.athlon.rpm
Normal file
Binary file not shown.
BIN
oldstable/32_linux/mdk2006/Yap-5.1.1-1.mdk2006.i386.rpm
Normal file
BIN
oldstable/32_linux/mdk2006/Yap-5.1.1-1.mdk2006.i386.rpm
Normal file
Binary file not shown.
BIN
oldstable/32_linux/mdk2006/Yap-5.1.1-1.mdk2006.i586.rpm
Normal file
BIN
oldstable/32_linux/mdk2006/Yap-5.1.1-1.mdk2006.i586.rpm
Normal file
Binary file not shown.
BIN
oldstable/32_linux/mdk2006/Yap-5.1.1-1.mdk2006.i686.rpm
Normal file
BIN
oldstable/32_linux/mdk2006/Yap-5.1.1-1.mdk2006.i686.rpm
Normal file
Binary file not shown.
BIN
oldstable/64_linux/Yap-5.1.1-1.fc5.x86_64.rpm
Normal file
BIN
oldstable/64_linux/Yap-5.1.1-1.fc5.x86_64.rpm
Normal file
Binary file not shown.
BIN
oldstable/64_linux/Yap-5.1.1-1.mdk2006.x86_64.rpm
Normal file
BIN
oldstable/64_linux/Yap-5.1.1-1.mdk2006.x86_64.rpm
Normal file
Binary file not shown.
BIN
oldstable/64_linux/Yap-5.1.1-static.x86_64.tar.gz
Normal file
BIN
oldstable/64_linux/Yap-5.1.1-static.x86_64.tar.gz
Normal file
Binary file not shown.
BIN
oldstable/Yap-5.1.1-linuxppc.tar.gz
Normal file
BIN
oldstable/Yap-5.1.1-linuxppc.tar.gz
Normal file
Binary file not shown.
BIN
oldstable/Yap-5.1.1-macos.ppc.tar.gz
Normal file
BIN
oldstable/Yap-5.1.1-macos.ppc.tar.gz
Normal file
Binary file not shown.
BIN
oldstable/Yap-5.1.1-small.tar.gz
Normal file
BIN
oldstable/Yap-5.1.1-small.tar.gz
Normal file
Binary file not shown.
BIN
oldstable/Yap-5.1.1.alpha.tar.gz
Normal file
BIN
oldstable/Yap-5.1.1.alpha.tar.gz
Normal file
Binary file not shown.
BIN
oldstable/Yap-5.1.1.exe
Normal file
BIN
oldstable/Yap-5.1.1.exe
Normal file
Binary file not shown.
BIN
oldstable/Yap-5.1.1.sun.tar.gz
Normal file
BIN
oldstable/Yap-5.1.1.sun.tar.gz
Normal file
Binary file not shown.
BIN
oldstable/Yap-5.1.1.tar.gz
Normal file
BIN
oldstable/Yap-5.1.1.tar.gz
Normal file
Binary file not shown.
BIN
oldstable/Yap-5.1.1.zip
Normal file
BIN
oldstable/Yap-5.1.1.zip
Normal file
Binary file not shown.
88
packages.html
Normal file
88
packages.html
Normal file
@ -0,0 +1,88 @@
|
|||||||
|
<html>
|
||||||
|
<head>
|
||||||
|
<meta http-equiv="Content-Type" content="text/html;charset=utf-8">
|
||||||
|
|
||||||
|
<title>YAP Prolog</title>
|
||||||
|
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="all" href="balanced2/css/common.css">
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="screen" href="balanced2/css/screen.css">
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="print" href="balanced2/css/print.css">
|
||||||
|
<link rel="stylesheet" type="text/css" charset="utf-8" media="projection" href="balanced2/css/projection.css">
|
||||||
|
|
||||||
|
<style type="text/css">
|
||||||
|
.style1 {
|
||||||
|
text-align: justify;
|
||||||
|
}
|
||||||
|
</style>
|
||||||
|
|
||||||
|
</head>
|
||||||
|
|
||||||
|
<body><!-- lang="en" dir="ltr"> -->
|
||||||
|
<div id="mastwrap">
|
||||||
|
|
||||||
|
<div id="masthead">
|
||||||
|
<a class="imageLink"> </a>
|
||||||
|
|
||||||
|
<div id="sisternav">
|
||||||
|
<ul>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="index.html">Main</a>
|
||||||
|
</li>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="downloads.html">Downloads</a>
|
||||||
|
</li>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="documentation.html">Documentation</a>
|
||||||
|
</li>
|
||||||
|
<li id="current">
|
||||||
|
<a href="packages.html">Packages</a>
|
||||||
|
</li>
|
||||||
|
<li id="plain">
|
||||||
|
<a href="applications.html">Applications</a>
|
||||||
|
</li>
|
||||||
|
</ul>
|
||||||
|
</div>
|
||||||
|
|
||||||
|
</div> <!-- of masthead -->
|
||||||
|
</div>
|
||||||
|
<!-- of mastwrap -->
|
||||||
|
<blockquote class="style1">
|
||||||
|
|
||||||
|
|
||||||
|
<h2>:- Packages</h2>
|
||||||
|
<p class="style1">
|
||||||
|
YAP includes several external packages that work with YAP. Our very
|
||||||
|
sincere thanks to the authors for allowing the inclusion of these
|
||||||
|
packages. The packages are:
|
||||||
|
<UL>
|
||||||
|
<LI class="style1">
|
||||||
|
<p class="style1"><a href="http://www.cs.kuleuven.ac.be/~dtai/projects/CHR/">CHR</a>,
|
||||||
|
developed by Thom Fruewirth and Christian Holzbaur;
|
||||||
|
</p>
|
||||||
|
<p class="style1"> <LI class="style1">
|
||||||
|
<p class="style1"><A
|
||||||
|
HREF="http://www.ai.univie.ac.at/clpqr/">clp(Q,R)</A>, developed by
|
||||||
|
Christian Holzbaur;</p>
|
||||||
|
<p class="style1"> <li>
|
||||||
|
<p class="style1"><A HREF="http://www.logtalk.org">LogTalk: Open
|
||||||
|
ource object-oriented extension to Prolog</A></p>
|
||||||
|
<p class="style1"> <LI class="style1">
|
||||||
|
<p class="style1">
|
||||||
|
<A HREF="http://www.clip.dia.fi.upm.es/Software/pillow/pillow.html">Pillow
|
||||||
|
1.1</A> developed by the ciao group at UPM.</p>
|
||||||
|
<p class="style1"> </UL>
|
||||||
|
<p class="style1">
|
||||||
|
<p class="style1">The
|
||||||
|
<A HREF="http://www.cos.ufrj.br/~vitor/Yap/clpbn">CLP(BN)
|
||||||
|
</A>package is being developed at UFRJ and will soon be included in
|
||||||
|
YAP.
|
||||||
|
|
||||||
|
|
||||||
|
</p>
|
||||||
|
</p>
|
||||||
|
|
||||||
|
|
||||||
|
</blockquote>
|
||||||
|
|
||||||
|
</body>
|
||||||
|
</html>
|
||||||
1
stable/yap-6.2
Submodule
1
stable/yap-6.2
Submodule
@ -0,0 +1 @@
|
|||||||
|
Subproject commit 1f21795463e8a33589e91280195e960bc8129172
|
||||||
BIN
stable/yap-6.2.2-cygwin.tar.gz
Normal file
BIN
stable/yap-6.2.2-cygwin.tar.gz
Normal file
Binary file not shown.
BIN
stable/yap-6.2.2-installer.exe
Normal file
BIN
stable/yap-6.2.2-installer.exe
Normal file
Binary file not shown.
BIN
stable/yap-6.2.2-tabling-installer.exe
Normal file
BIN
stable/yap-6.2.2-tabling-installer.exe
Normal file
Binary file not shown.
BIN
stable/yap-6.2.2-xp-installer.exe
Normal file
BIN
stable/yap-6.2.2-xp-installer.exe
Normal file
Binary file not shown.
BIN
stable/yap-6.2.2.tar.gz
Normal file
BIN
stable/yap-6.2.2.tar.gz
Normal file
Binary file not shown.
BIN
stable/yap64-6.2.2-installer.exe
Normal file
BIN
stable/yap64-6.2.2-installer.exe
Normal file
Binary file not shown.
Reference in New Issue
Block a user