@hackage logict-state0.1.0.1

Library for logic programming based on haskell package logict

Installation
In your cabal file:
Dependencies (4)
- base >=4.8 && <4.10
- mtl >=2.1
- transformers >=0.4.2
- logict >=0.6.0.2
Dependents (2)
@hackage/chr-core, @hackage/uhc-util

Logic programming built on top of part of logict library, in particular for dealing with backtrackable state