The logict package

[Tags: bsd3, library]

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.orgftppapers/LogicT.pdf


Versions0.2, 0.2.1, 0.2.2, 0.2.3, 0.3, 0.4, 0.4.1, 0.4.2, 0.5.0,,, 0.6,,
Change logNone available
Dependenciesbase, mtl
CopyrightCopyright (c) 2007, Dan Doel
AuthorDan Doel
StabilityExperimental, based on paper
Home page
UploadedSun Jul 8 00:18:21 UTC 2007 by DanDoel
DistributionsDebian:, Fedora:, FreeBSD:, LTSHaskell:, NixOS:, Stackage:
Downloads20760 total (737 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-06-04 [all 2 reports]



Maintainers' corner

For package maintainers and hackage trustees