first-order-logic
Logika predykatu w Haskell
Używałem następującej struktury danych do reprezentacji logiki propositionalnej w Haskell:
data Prop
= Pred String
... wersje, które są oparte na bardziej klasycznych gramatykach bez kontekstu. Czy jest jakaś literatura na to, co można polecić?