927bb496bce0
Update README
| author | Steve Losh <steve@stevelosh.com> |
|---|---|
| date | Sat, 20 Aug 2016 22:44:15 +0000 |
| parents | 66c01894e34c |
| children | b1333b02f868 |
| branches/tags | (none) |
| files | README.markdown docs/index.markdown |
Changes
--- 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.** + + + +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:** <http://sjl.bitbucket.org/temperance/> @@ -16,8 +34,6 @@ * **Git:** <http://github.com/sjl/temperance/> * **Issues:** <http://github.com/sjl/temperance/issues/> - - License -------
--- 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.** + +<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 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:** <http://sjl.bitbucket.org/temperance/> @@ -9,5 +28,7 @@ * **Git:** <http://github.com/sjl/temperance/> * **Issues:** <http://github.com/sjl/temperance/issues/> -<img src="https://i.imgur.com/EWPGAHa.gif" - style="border: 1px solid #222; margin: 15px 0px 10px; width: 100%;"/> +License +------- + +Copyright 2016 Steve Losh and contributors. Licensed as **MIT/X11**.