ghc-logict 0.8.0.0

Backtracking logic-programming monad

This library provides 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 online.

Website: https://github.com/Bodigrim/logict#readme
Licenses: Modified BSD
Package source: gnu/packages/haskell-xyz.scm
Builds: See build status
Issues: See known issues

Installation

Install ghc-logict 0.8.0.0 as follows:

guix install ghc-logict@0.8.0.0

Or install the latest version:

guix install ghc-logict

You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.