Douglas Miles
Research Collaborator
Eagle Creek, Oregon, United States
Summary
👤
Senior🎓
Top SchoolDouglas Miles is a research-focused software engineer with over 24 years applying knowledge representation, ontological engineering, and attention theory to practical AI systems. He has deep hands-on experience with logic languages and inference engines (Prolog, Lisp, CycL, KIF, ISO-CommonLogic) and has contributed bug fixes and core improvements to the widely used SWI-Prolog repository. At companies and projects from SingularityNET and Hanson Robotics to OpenSim4OpenCog and Cycorp, he has bridged research and implementation to build cognitive faculties and semantic reasoning layers for robots and virtual agents. His work spans low-level engine fixes to high-level ontology design, reflecting a rare blend of implementer and theorist. Based in Eagle Creek, Oregon, he runs LogicMOO Corp and remains active in community research projects, often resurfacing subtle interoperability issues between logic systems that others miss.
24 years of coding experience
18 years of employment as a software developer
Cyc101, Cyc101 at CycorpSemweb learn as we go
Stackoverflow
46reputation
19kreached
2answers
0questions
Github Skills (11)
prolog10
logic-programming10
debug9
error-handling9
debugging9
modification8
codemod8
swi-prolog6
common-lisp6
emacs6
lisp6
Programming languages (16)
Github contributions (5)
SWI-Prolog/swipl-devel
Nov 2015 - Sep 2021
SWI-Prolog Main development repository
Role in this project:
Back-end Developer
Back-end DeveloperContributions:10 commits, 17 PRs, 75 comments in 5 years 10 months
Contributions summary:Douglas primarily focused on bug fixes and improvements to the SWI-Prolog codebase. Their contributions included addressing an `existence_error` related to thread creation and modifying the attributed variable infrastructure to align with SICStus. Further work involved fixing issues in areas like `listing/1`, module handling, and error correction in `prolog_read_source_term/4`. The user also addressed formatting errors in the `format/3` function.
datalogprologlogic-programmingswiswi-prolog
logicmoo/prologmud_I7
Aug 2013 - Jan 2020
Contributions:175 commits, 82 pushes, 1 branch in 6 years 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.