@hackage logict-state0.1.0.1

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