Multi-paradigm Logic Programming in the \(\mathcal{E}\) rgoAI System
摘要
\(\mathcal{E}\) rgoAI (abbr. \(\mathcal{E}\) rgo) is a high level, multi-paradigm logic programming language and system developed by Coherent Knowledge Systems as an enhancement of and a successor to the popular \(\mathcal{{F}}lora{\text {-}}\) 2 system. \(\mathcal{E}\) rgo is oriented towards scalable knowledge representation and reasoning, and can exploit both structured knowledge as well as knowledge derived from external sources such as vector embeddings. From the start, \(\mathcal{E}\) rgo (and \(\mathcal{{F}}lora{\text {-}}\) 2 before it) were designed to exploit the well-founded semantics for reasoning in a multi-paradigm environment, including object-based logic (F-logic) with non-monotonic inheritance; higher order syntax in the style of HiLog; defeasibility of rules; semantically clean transactional updates; and extensive use of subgoal delay for better logical behavior and performance. Although \(\mathcal{E}\) rgo programs are compiled into XSB and adopt many Prolog features, \(\mathcal{E}\) rgo is altogether a different language with functionality equivalent to major Prologs.