Multi-paradigm Logic Programming in the script upper E E E rgoAI System

Abstract script upper E E 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 F lora-2 system. script upper E E 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 E rgoAI (and script upper F F 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 E rgoAI programs are compiled into XSB and adopt many Prolog features, script upper E E E rgoAI is altogether a different language and system. Under consideration in Theory and Practice of Logic Programming (TPLP).