Project 1a for CSC 417 - Theory of Programming Languages. Learning syntax and semantics of Prolog. To run: Execute auto-onea