Description logic programming in prolog

This is a simple project (see attached) of 5 parts related to programming description logic tasks in Prolog. It consists of implementing ALCQ algorithms and verifying it with proving some statement and answering some theoretical questions.

Deliverables: Prolog code and report describing the implementation and answering the questions