논리형 언어로 쓰려면 뭘 더 추가해야 될까요?

[기괴공학도(mecheng98)]

runPredicate를 잘 바꾸면 논리형 언어를 만들 수 있을 것 같은데, 그걸 모르겠네요.

[기괴공학도(mecheng98)]

runPredicate :: Predicate Var Term -> Term -> Bool도 생각 중이에요