GitHub repository: rindPHI/FirstOrderParser
Primary language: Java
Description: A parser for first-order (predicate) logic, created with JavaCC. Includes basic model classes.