1 Commits

Author	SHA1	Message	Date
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