kili 33e542cb07 A continuation-based, backtracking, logic programming monad. An ... adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers" available here: http://okmij.org/ftp/papers/LogicT.pdf. ok ajacoutot@		2012-01-23 21:07:22 +00:00
..
pkg
distinfo
Makefile