Multi-paradigm Logic Programming in the script upper E

Abstract

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).