Commit 4e07be1c authored by Erik Huelsmann's avatar Erik Huelsmann

Initial import

parent 2f4bcb59
Pipeline #596 passed with stage
in 1 second
<?xml version="1.0"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<title>cl-kanren-trs</title>
<link rel="stylesheet" type="text/css" href="style.css"/>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"/>
</head>
<body>
<div class="header">
<h1>cl-kanren-trs</h1>
<h2>A Common Lisp version of <em>The Reasoned Schemer</em>.</h2>
</div>
<h3>Introduction</h3>
<div class="section">
<p>
<a href="http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&amp;tid=10663">
<em>The Reasoned Schemer</em></a> by Daniel P. Friedman, William E. Byrd
and Oleg Kiselyov is one of the "Little Lisper" books. It concentrates on
a logic-functional extension to Scheme. Though the language is never given
a name in the book, it is a minimal version of
<a href="http://kanren.sourceforge.net/">KANREN</a>.
<a href="http://kanren.sourceforge.net/#mini">miniKANREN</a>
is the Scheme-based implementation. <b>cl-kanren-trs</b> is our take.
</p>
</div>
<h3>Description</h3>
<div class="section">
<p><b>cl-kanren-trs</b> implements the language of
<em>The Reasoned Schemer</em> with CLOS hooks to extend the types that can
be the subject of unification. Each terminating form from main text is
(or will be) implemented as part of the test suite.
</p>
</div>
<h3>Syntax and Semantics</h3>
<div class="section">
<p>More to come!</p>
</div>
<h3>Dependencies</h3>
<div class="section">
<p>The test suite will eventually depend on
<a href="http://common-lisp.net/project/stefil/">Stefil</a>.</p>
</div>
<h3>Mailing Lists</h3>
<div class="section">
<ul>
<li>
<a href="http://common-lisp.net/cgi-bin/mailman/listinfo/cl-kanren-trs-cvs">cl-kanren-trs-cvs</a>: subversion commits (read only).</li>
<li>
<a href="http://common-lisp.net/cgi-bin/mailman/listinfo/cl-kanren-trs-devel">cl-kanren-trs-devel</a>: help, discussion, and bug reports.</li>
<li><a href="http://common-lisp.net/cgi-bin/mailman/listinfo/cl-kanren-trs-announce">cl-kanren-trs-announce</a>: news and announcements (read only).</li>
</ul>
</div>
<h3>Repository</h3>
<div class="section">
<p>You can browse the <a href="http://common-lisp.net/websvn/listing.php?repname=cl-kanren-trs">cl-kanren-trs repository</a> or checkout the tree with</p>
<pre>svn checkout svn://common-lisp.net/project/cl-kanren-trs/svn</pre>
</div>
<h3>License</h3>
<div class="section">
<p>BSD</p>
</div>
<div class="footer">
<a href="mailto:mswank@common-lisp.net">Matthew D. Swank</a>,
</div>
<div class="check">
<a href="http://validator.w3.org/check/referer"> Valid XHTML 1.0 Strict</a>
</div>
</body>
</html>
.header {
font-size: medium;
background-color:#336699;
color:#ffffff;
border-style:solid;
border-width: 5px;
border-color:#002244;
padding: 1mm 1mm 1mm 5mm;
}
.footer {
font-size: small;
font-style: italic;
text-align: right;
background-color:#336699;
color:#ffffff;
border-style:solid;
border-width: 2px;
border-color:#002244;
padding: 1mm 1mm 1mm 1mm;
}
.footer a:link {
font-weight:bold;
color:#ffffff;
text-decoration:underline;
}
.footer a:visited {
font-weight:bold;
color:#ffffff;
text-decoration:underline;
}
.footer a:hover {
font-weight:bold;
color:#002244;
text-decoration:underline; }
.check {font-size: x-small;
text-align:right;}
.check a:link { font-weight:bold;
color:#a0a0ff;
text-decoration:underline; }
.check a:visited { font-weight:bold;
color:#a0a0ff;
text-decoration:underline; }
.check a:hover { font-weight:bold;
color:#000000;
text-decoration:underline; }
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment