Memory is cheap
| author |
Steve Losh <steve@stevelosh.com> |
| date |
Thu, 09 Feb 2017 12:22:03 +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.**
<img src="https://i.imgur.com/EWPGAHa.gif"
style="border: 1px solid #222; margin: 15px 0px 10px; width: 100%;"/>
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/>