|
|
An applicative logic programming system with a declarative set ... KANREN download site at SourceForge: < http://sf.net/project/showfiles.php?group_id=99654> ...
http://kanren.sourceforge.net/
popularity:
scheme
logic
programming
prolog
lisp
functional
logic-programming
declarative
kanren
language
|
an example search result