https://github.com/sjl/temperance

A logic programming library for Common Lisp.
https://github.com/sjl/temperance

Last synced: 3 months ago
JSON representation

A logic programming library for Common Lisp.

• Host: GitHub
• URL: https://github.com/sjl/temperance
• Owner: sjl
• License: mit
• Created: 2016-08-20T22:24:51.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2020-12-22T01:51:13.000Z (over 5 years ago)
• Last Synced: 2025-05-23T05:42:57.879Z (11 months ago)
• Language: Common Lisp
• Homepage: https://sjl.bitbucket.io/temperance
• Size: 2.51 MB
• Stars: 62
• Watchers: 9
• Forks: 5
• Open Issues: 12
• Metadata Files:
  • Readme: README.markdown
  • License: LICENSE.markdown

Awesome Lists containing this project

• awesome-cl - Temperance - logic programming. [MIT][200]. A focus on performance, with General Game Playing in mind. (Miscellaneous ##)

README

          
    ,--,--'

    `- | ,-. ,-,-. ,-. ,-. ,-. ,-. ,-. ,-. ,-.

     , | |-' | | | | | |-' |   ,-| | | |   |-'

     `-' `-' ' ' ' |-' `-' '   `-^ ' ' `-' `-'

                   |

                   '

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](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

* **Documentation:** 

* **Mercurial:** 

* **Git:**