Skip to content

bencarletonn/FOL-Parser-

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

13 Commits
 
 
 
 
 
 
 
 

Repository files navigation

FOL-Parser-

A parser for First Order Logic Formula

The program takes an input file specifying the formula and the sets, such as:

Settings Window

If the input file is valid, a corresponding grammar is generated (grammar.txt) in the current directory,

Settings Window

After this, a corresponding parse tree is generated (parse_tree.png) in the current directory, breaking down the provided formula into its grammatical structure,

Settings Window

With every input, a log is generated (log.txt) in the current directory, specfying the files the program created and any issues the program encountered,

Settings Window

About

A parser for First Order Logic Formula

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages