This project included implementing a Propositional Logic Engine to plan toy routes for aircrafts using a straightforward command syntax as seen below.  This route was generated by the engine, in languages like prolog , you enter your end condition, and the engine generates the best route.

Full Report Here

Load(C1, P1, SFO)
Load(C2, P2, JFK)
Fly(P2, JFK, SFO)
Unload(C2, P2, SFO)
Fly(P1, SFO, JFK)
Unload(C1, P1, JFK)