Part 1: Knowledge representation in PROLOG (20 %)