About

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.

Contents

• 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.

[1] http://www.tptp.org/