Finally after a week or so, I am ready to put the parser for download. I want to clarify some points, actually I used the word “parser” to intend syntax checking, it is not a complete parser, it just checks first order logic syntax, so not a big deal ! Be aware that code may contains error(s), I am not saying it is perfect, it is just a piece of code that I wrote for my Automata Lecture project. So the code gives just a simple idea about how syntax checking done iteratively. The rar archive contains a fol.txt besides main.cpp (single source file) , all predicates, functions, variables, constants, simply all our language defined in this text file.You may change some values while some must remain as it is. After compiling the source file, put fol.txt in the same directory with compiled .exe.

Download Source File(2.80 KB)

Some other posts that you may like :