Finished Prolog Assignment