forked from PLTools/OCanren
-
Notifications
You must be signed in to change notification settings - Fork 1
Home
Kakadu edited this page Jul 21, 2016
·
5 revisions
Nominal Logic Programming by J.Cheney & C.Urban http://arxiv.org/pdf/cs/0609062v2.pdf
αKanren: A Fresh Name in Nominal Logic Programming http://webyrd.net/alphamk/alphamk.pdf
Constrained miniKanren slides: http://scheme2011.ucombinator.org/slides/Alvis2011.pdf , paper: http://scheme2011.ucombinator.org/papers/Alvis2011.pdf .
About avoiding errors http://www.schemeworkshop.org/2014/papers/Brady2014.pdf . Nice article about LISP and better error messages in miniKanren. It fix some issues of untyped language but seems to be useless in typeful environment.