@hackage / logict-state

Library for logic programming based on haskell package logict