@hackage logict0.8.2.0

A backtracking logic-programming monad.

Categories
License
BSD-3-Clause
Maintainer
Andrew Lelechenko <andrew.lelechenko@gmail.com>
Links
Versions
- 0.8.2.0 Wed, 13 Nov 2024
- 0.8.1.0 Tue, 9 Apr 2024
- 0.8.0.0 Sun, 8 May 2022
- 0.7.1.0 Fri, 11 Aug 2023
- 0.7.0.3 Sat, 16 Jan 2021
- 0.7.0.2 Sat, 30 Oct 2021

Installation
In your cabal file:
Tested Compilers
Dependencies (4)
- base >=4.9 && <5
- mtl >=2.0 && <2.4
- transformers <0.7
- exceptions <0.11
Dependents (46)
@hackage/stream-monad, @hackage/trek-lens, @hackage/djinn-th, @hackage/snap, @hackage/streamly, @hackage/mad-props, Show all…

Adapted from the paper Backtracking, Interleaving, and Terminating Monad Transformers by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry.