logict: A backtracking logic-programming monad.

[ bsd3, control, library ] [ Propose Tags ]

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

Versions [RSS] [faq] 0.2, 0.2.1, 0.2.2, 0.2.3, 0.3, 0.4, 0.4.1, 0.4.2, 0.5.0, 0.5.0.1, 0.5.0.2, 0.6, 0.6.0.1, 0.6.0.2, 0.6.0.3, 0.7.0.0, 0.7.0.1, 0.7.0.2, 0.7.0.3, 0.7.1.0
Dependencies base (>=2 && <5), mtl (>=1.0.1 && <2.1) [details]
License BSD-3-Clause
Copyright Copyright (c) 2007-2010, Dan Doel, Copyright (c) 2011, Edward Kmett
Author Dan Doel
Maintainer dan.doel@gmail.com
Category Control
Home page http://code.haskell.org/~dolio/logict
Uploaded by DanDoel at 2011-07-29T16:24:24Z
Distributions Arch:0.7.1.0, Debian:0.6.0.2, Fedora:0.7.1.0, FreeBSD:0.6.0.2, LTSHaskell:0.7.1.0, NixOS:0.7.1.0, Stackage:0.7.1.0, openSUSE:0.7.0.3
Downloads 54006 total (487 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates