@hackage logict-state0.1.0.5

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