/LRC_project

Inference engine written in Prolog for the ALC description logic.

Primary LanguageProlog

Stargazers