Prolog Project -- 3

Job ID: 34980996

Budget: $30 – $250 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

All Details are attached below. Plz before bid write "Prolog" so i confirm you check