Prolog
一种基于逻辑编程范式的编程语言，常用于人工智能和计算语言学，公开代码语料相对稀少，属于低资源编程语言。
时间轴 (近 90 天)
中间表示（IR）是跨越语言模型与规则引擎边界时常用的结构化数据形式，常见形式包括JSON格式的意图槽位、逻辑编程语言的事实项或SQL查询片段。
符号主义AI的典型代表包括专家系统（如MYCIN用于血液感染诊断）、逻辑编程（Prolog）和语义网络。
低资源编程语言通常指在公开代码库、技术论坛、文档和教程中语料数量远少于主流语言的编程语言，如COBOL、Fortran、Ada、Prolog等。
Semantica支持Prolog、Datalog、SPARQL等确定性推理引擎，以及SHACL约束和OWL本体管理
该架构模式的核心是用小型专精模型将自然语言翻译成形式逻辑，再交给求解器（如 Prolog、SMT、Lean）得出确定性答案
Prolog诞生于1972年的法国马赛大学，基于一阶谓词逻辑，曾是日本第五代计算机项目的核心语言
全部知识事实 (6)
中间表示（IR）是跨越语言模型与规则引擎边界时常用的结构化数据形式，常见形式包括JSON格式的意图槽位、逻辑编程语言的事实项或SQL查询片段。
50%待验证符号主义AI的典型代表包括专家系统（如MYCIN用于血液感染诊断）、逻辑编程（Prolog）和语义网络。
50%待验证低资源编程语言通常指在公开代码库、技术论坛、文档和教程中语料数量远少于主流语言的编程语言，如COBOL、Fortran、Ada、Prolog等。
50%待验证Semantica支持Prolog、Datalog、SPARQL等确定性推理引擎，以及SHACL约束和OWL本体管理
50%待验证该架构模式的核心是用小型专精模型将自然语言翻译成形式逻辑，再交给求解器（如 Prolog、SMT、Lean）得出确定性答案
50%待验证Prolog诞生于1972年的法国马赛大学，基于一阶谓词逻辑，曾是日本第五代计算机项目的核心语言
50%