I finished writing a complete first order logic in just 5 hours, a little a simple approach, soon you will be able to download it here with its source file, the parser was completely written in C++ , no recursive calls, no backtracking, all iterative and simple to understand. All lexicon is defined in a text file. I will be able to put the details, so I hope this will help someone who is interested in how to write a simple parser and how it works. Check the site frequently, I will be posting it in a few days.

Some other posts that you may like :