@hackage logict-state0.1.1.0

Library for logic programming based on haskell package logict

Installation
In your cabal file:
Dependencies (4)
- base >=4.8 && <5
- mtl >=2.1
- transformers >=0.4.2
- logict >=0.8.0.0
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