@hackage logict-state0.1.1.0

Library for logic programming based on haskell package logict

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