FOLd

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

Question 1

Given

1. If you are american, it is a crime to sell weapons of mass destruction to an enemy nation
2. Nono is a hostile nation with missiles
3. Missiles are weapons of mass destruction
4. Nono buys its weapons from Colonel West
5. Colonel West is American

Determine

Is Colonel West a criminal?

Question 2

Given

1. For any History course, there is at least one student who doesn’t like the professor
2. Every student likes a cool professor
3. The professor of Course1 is cool

Determine

Is Course1 a History course?