AI prolog homework finished