The devel/hs-logict port
hs-logict-0.5.0.2p1 – backtracking logic-programming monad
Description
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.
WWW: https://hackage.haskell.org/package/logict
- Only for arches
-
amd64
i386
- Categories:
-
devel
lang/ghc
Library dependencies
Build dependencies
Run dependencies