DouglasMiles: Difference between revisions
Ontolog Forum
imported>MatthewWest |
(No difference)
|
Latest revision as of 18:22, 5 January 2017
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