This repository contains an ANTLR4 grammar for the logic input languages provided by the TPTP [1].
The grammar was successfully tested on all valid syntactical problems of the TPTP.
-
tptp_v7_0_0_0.g4
The actual grammar.
-
test
Contains code to test the grammar on a set of TPTP problems.
-
test_cases
Contains additional test cases for (unofficial) non-classical logics.