Programming in prolog -- 4

Job ID: 34973569

Budget: $10 – $30 AUD

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