Code written in Prolog for Logic Language and Information 1 taught by University of Melbourne