From Ontolog Forum
Jump to navigation Jump to search

Douglas Miles

I am primarily a Prolog Programmer working on the creation of inference engines and UI tools to help people develop rules in ...



ISO/IEC 24707:2007 Common Logic

made up of predicates and their argument types constrained ontologically.

This is my linked in profile can be found here: