README.markdown @ 1c134f25b12a

Add contrib/gdl-benchmark/gdl.prof to .hgignore.
author Steve Losh <steve@stevelosh.com>
date Wed, 24 Aug 2016 20:43:10 +0000
parents 9b00a02e889d
children a5086be7e1aa
    ,--,--'
    `- | ,-. ,-,-. ,-. ,-. ,-. ,-. ,-. ,-. ,-.
     , | |-' | | | | | |-' |   ,-| | | |   |-'
     `-' `-' ' ' ' |-' `-' '   `-^ ' ' `-' `-'
                   |
                   '

Temperance is a logic programming library for Common Lisp.

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

![I don't know what that means](https://i.imgur.com/EWPGAHa.gif)

Temperance is an implementation of the [Warren Abstract Machine][wam] in Common
Lisp, designed to let you write Lispy Prolog.  Its main goals are:

* Be fast.
* Implement a decent subset of vanilla Prolog.
* Execute quickly.
* Interop back and forth with Common Lisp.
* Don't be slow.

Temperance was made with [General Game Playing][ggp] in mind (hence the focus on
performance), but should be useful for anything you might normally use Prolog
for.

[wam]: https://en.wikipedia.org/wiki/Warren_Abstract_Machine
[ggp]: https://en.wikipedia.org/wiki/General_game_playing

* **License:** MIT/X11
* **Documentation:** <http://sjl.bitbucket.org/temperance/>
* **Mercurial:** <http://bitbucket.org/sjl/temperance/>
* **Git:** <http://github.com/sjl/temperance/>
* **Issues:** <http://github.com/sjl/temperance/issues/>