A logic programming library for Common Lisp.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
contrib/gdl-benchmark
docs
src
test
vendor
.ffignore
.hgignore
.hgtags
.lispwords
LICENSE.markdown
Makefile
README.markdown
package.lisp
package.test.lisp
temperance.asd
temperance.test.asd

README.markdown

,--,--'
`- | ,-. ,-,-. ,-. ,-. ,-. ,-. ,-. ,-. ,-.
 , | |-' | | | | | |-' |   ,-| | | |   |-'
 `-' `-' ' ' ' |-' `-' '   `-^ ' ' `-' `-'
               |
               '

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.

I don't know what that means

Temperance is an implementation of the Warren Abstract Machine 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 in mind (hence the focus on performance), but should be useful for anything you might normally use Prolog for.