89 lines
2.4 KiB
HTML
89 lines
2.4 KiB
HTML
|
<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>
|