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 [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
Change log changelog.md
Dependencies base (>=2 && <5), fail, mtl (>=2 && <2.3) [details]
License BSD-3-Clause
Copyright Copyright (c) 2007-2014, Dan Doel, Copyright (c) 2011-2013, Edward Kmett, Copyright (c) 2014, Roman Cheplyaka
Author Dan Doel
Maintainer Andrew Lelechenko <andrew.lelechenko@gmail.com>
Category Control
Home page https://github.com/Bodigrim/logict#readme
Source repo head: git clone https://github.com/Bodigrim/logict
Uploaded by Bodigrim at Fri Jul 19 20:37:58 UTC 2019
Distributions Arch:0.6.0.3, Debian:0.6.0.2, Fedora:0.6.0.2, FreeBSD:0.6.0.2, LTSHaskell:0.6.0.3, NixOS:0.7.0.2, Stackage:0.6.0.3, openSUSE:0.7.0.2
Downloads 40086 total (621 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-07-19 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees