hg.stevelosh.com > docs.stevelosh.com

<!DOCTYPE html>
<html>
    <head>
        <meta charset="utf-8" />
        <title>Temperance</title>
        <link rel="stylesheet" href="./_dmedia/tango.css"/>
        <link rel="stylesheet/less" type="text/css" href="./_dmedia/style.less">
        <script src="./_dmedia/less.js" type="text/javascript">
        </script>
    </head>
    <body class="index">
        <div class="wrap">
            <header><h1><a href="">Temperance</a></h1></header>
                <div class="markdown">
<p>Temperance is a logic programming library for Common Lisp.</p>
<p><strong>Temperance is still in development, don't actually try to use this for
anything important yet.  It should be stable by the end of 2016.</strong></p>
<p><img src="https://i.imgur.com/EWPGAHa.gif"
     style="border: 1px solid #222; margin: 15px 0px 10px; width: 100%;"/></p>
<p>Temperance is an implementation of the <a href="https://en.wikipedia.org/wiki/Warren_Abstract_Machine">Warren Abstract Machine</a> in Common
Lisp, designed to let you write Lispy Prolog.  Its main goals are:</p>
<ul>
<li>Be fast.</li>
<li>Implement most of vanilla Prolog.</li>
<li>Execute quickly.</li>
<li>Interop back and forth with Common Lisp.</li>
<li>Don't be slow.</li>
</ul>
<p>Temperance was made with [General Game Playing][] in mind (hence the focus on
performance), but should be useful for anything you might normally use Prolog
for.</p>
<ul>
<li><strong>License:</strong> MIT/X11</li>
<li><strong>Documentation:</strong> <a href="http://sjl.bitbucket.org/temperance/">http://sjl.bitbucket.org/temperance/</a></li>
<li><strong>Mercurial:</strong> <a href="http://bitbucket.org/sjl/temperance/">http://bitbucket.org/sjl/temperance/</a></li>
<li><strong>Git:</strong> <a href="http://github.com/sjl/temperance/">http://github.com/sjl/temperance/</a></li>
<li><strong>Issues:</strong> <a href="http://github.com/sjl/temperance/issues/">http://github.com/sjl/temperance/issues/</a></li>
</ul>
<h2 id="license">License</h2>
<p>Copyright 2016 Steve Losh and contributors.  Licensed as <strong>MIT/X11</strong>.</p><h2>Table of Contents</h2><ol class="toc"><li><a href="installation/">Installation</a></li><li><a href="overview/">Overview</a></li><li><a href="reference/"> API Reference</a></li><li><a href="changelog/">Changelog</a></li></ol>
                </div>
            <footer><p><i>Made with Lisp and love by <a href="http://stevelosh.com/">Steve Losh</a> in Reykjavík, Iceland.</i></p>
<script>
  (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
  (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
  m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
  })(window,document,'script','//www.google-analytics.com/analytics.js','ga');

  ga('create', 'UA-15328874-3', 'auto');
  ga('send', 'pageview');

</script></footer>
        </div>
    </body>
</html>
author	Steve Losh <steve@stevelosh.com>
date	Sat, 20 Aug 2016 22:44:21 +0000
parents	15f1ecfc6d24
children	5780ac76b352