Data.Logic.ATP.Prolog
data
PrologRule
lit
renamerule
testProlog