First Order Logic Parser
Computer Science, Programming June 2nd, 2007Finally 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.
Some other posts that you may like :
Other Browsers Play, Firefox 3 Kills !Simple Text Editor with Java Swing
Men vs Women
Win32 API Introduction
Spy Review
A Recent Blogger Disease : "Digg"
Line6 Pocket POD
Fujitsu "Fab PC" Concept Laptop
Online Money Making Resources
A* Search Algorithm / C# Implementation
June 6th, 2009 at 8:39 am
I liked your parser, it was a good one and helped me a lot in creating one of my own.
October 8th, 2010 at 2:38 am
Hi,
Have you made some improvements in your FOL parser?
I’m searching a parser to FOL written in C++.
Thank you