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:
Downloads19752 total (519 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]



Maintainers' corner

For package maintainers and hackage trustees