Gabor Pali a3a15f8b91 A continuation-based, backtracking, logic programming monad. An ... adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers" [1]. [1] http://okmij.org/ftp/papers/LogicT.pdf WWW: http://code.haskell.org/~dolio/logict Obtained from: FreeBSD Haskell		2012-02-13 02:21:34 +00:00
..
distinfo
Makefile
pkg-descr