First Order Logic demo is a project to try out some ideas of creating an engine capable of first order logic. The ultimate goal of this project is to create something that can answer the following questions
- If you are american, it is a crime to sell weapons of mass destruction to an enemy nation
- Nono is a hostile nation with missiles
- Missiles are weapons of mass destruction
- Nono buys its weapons from Colonel West
- Colonel West is American
Is Colonel West a criminal?
- For any History course, there is at least one student who doesn’t like the professor
- Every student likes a cool professor
- The professor of Course1 is cool
Is Course1 a History course?