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.