Prolog Assignments Added