ErgoAI 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 Flora-2 system. ErgoAI 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, ErgoAI (and Flora-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; extensive use of subgoal delay for handling unsafe queries and for better performance; and optional support for bounded rationality at a module level. Although Flora-2 programs are compiled into XSB and adopt many Prolog features, ErgoAI is altogether a different language and system. Under consideration in Theory and Practice of Logic Programming (TPLP).

翻译：ErgoAI是一种由Coherent Knowledge Systems开发的高阶多范式逻辑编程语言与系统，是对广受欢迎的Flora-2系统的增强与换代。ErgoAI致力于可扩展的知识表示与推理，既能利用结构化知识，也能利用源自外部资源（如向量嵌入）的知识。自诞生之初，ErgoAI（及其前身Flora-2）便被设计为在多范式环境中利用良基语义进行推理，具体特性包括：基于对象的逻辑（F-逻辑）与单调性继承；HiLog风格的高阶语法；规则的可废止性；语义清晰的原子性更新；广泛使用子目标延迟技术以处理非安全查询并提升性能；以及模块级别可选的有界理性支持。尽管Flora-2程序被编译为XSB并采用了许多Prolog特性，但ErgoAI在本质上是不同的语言与系统。本文正接受《逻辑编程理论与实践》（TPLP）期刊审稿。