@hackage logict0.2
A backtracking logic-programming monad.
Installation
CustomTested Compilers
Dependencies (2)
Dependents (47)
@hackage/stream-monad, @hackage/trek-lens, @hackage/djinn-th, @hackage/snap, @hackage/streamly, @hackage/mad-props, Show all…
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.orgftppapersLogicT.pdf