Lambda the Ultimate
- miniKanren: A declarative applicative logic programming system http://kanren.sourceforge.net 4 comments logic/declarative
Linking pages
- My Favorite Books: Part Three http://www.catonmat.net/blog/top-100-books-part-three/ 40 comments
- Logic Programming for the Social Web - Intensive Systems Consulting, Inc http://intensivesystems.net/tutorials/logic_prog.html 8 comments
- A declarative logic programming system download | SourceForge.net http://cvs.sourceforge.net/viewcvs.py/kanren/kanren/mini/logic.scm 4 comments
Related searches:
Search whole site: site:kanren.sourceforge.net
Search title: A declarative logic programming system
See how to search.