Multi-paradigm Logic Programming in the script upper E E $\mathcal{E}$ rgoAI System

Abstract script upper E E $\mathcal{E}$ rgoAI 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 script upper F F $\mathcal{F}$ lora-2 system. script upper E E $\mathcal{E}$ rgoAI is oriented toward scalable knowledge representation and reasoning and can exploit = structured knowledge as well as knowledge derived from external sources such as vector databases. From their inception, script upper E E $\mathcal{E}$ rgoAI (and script upper F F $\mathcal{F}$ lora-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 ; subgoal delay for handling unsafe queries and for better performance; and optional support for bounded rationality at a module level. Although script upper E E $\mathcal{E}$ rgoAI programs are compiled into XSB and adopt many Prolog features, script upper E E $\mathcal{E}$ rgoAI is altogether a different language and system. Under consideration in Theory and Practice of Logic Programming (TPLP).