ports

devel/hs-logict

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

None

Build dependencies

Run dependencies