Actions

Ontolog Forum

Revision as of 18:22, 5 January 2017 by imported>MatthewWest (→‎Douglas Miles)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Douglas Miles

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

SUO-KIF

CYCL

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: https://www.linkedin.com/in/logicmoo