# HG changeset patch # User Steve Losh # Date 1471733055 0 # Node ID 927bb496bce064d05e83379180f8f9413f188728 # Parent 66c01894e34c327f3a786fe3640cd2f32f412860 Update README diff -r 66c01894e34c -r 927bb496bce0 README.markdown --- a/README.markdown Sat Aug 20 22:33:17 2016 +0000 +++ b/README.markdown Sat Aug 20 22:44:15 2016 +0000 @@ -8,7 +8,25 @@ Temperance is a logic programming library for Common Lisp. **Temperance is still in development, don't actually try to use this for -anything yet. It should be usable by mid-2016.** +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 most 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. + +[wam]: https://en.wikipedia.org/wiki/Warren_Abstract_Machine +[ggp]: https://en.wikipedia.org/wiki/General_game_playing * **License:** MIT/X11 * **Documentation:** @@ -16,8 +34,6 @@ * **Git:** * **Issues:** -![I don't know what that means](https://i.imgur.com/EWPGAHa.gif) - License ------- diff -r 66c01894e34c -r 927bb496bce0 docs/index.markdown --- a/docs/index.markdown Sat Aug 20 22:33:17 2016 +0000 +++ b/docs/index.markdown Sat Aug 20 22:44:15 2016 +0000 @@ -1,7 +1,26 @@ Temperance is a logic programming library for Common Lisp. **Temperance is still in development, don't actually try to use this for -anything yet. It should be usable by mid-2016.** +anything important yet. It should be stable by the end of 2016.** + + + +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 most 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. + +[wam]: https://en.wikipedia.org/wiki/Warren_Abstract_Machine +[ggp]: https://en.wikipedia.org/wiki/General_game_playing * **License:** MIT/X11 * **Documentation:** @@ -9,5 +28,7 @@ * **Git:** * **Issues:** - +License +------- + +Copyright 2016 Steve Losh and contributors. Licensed as **MIT/X11**.