Prolog Language Few Tasks

This is a simple project 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