Title: Logic grammars
Subjects: Artificial intelligence, Logic programming, Logic, symbolic and mathematical