逻辑编程

人工智能, 数据库, 知识表示, 计算机科学, 逻辑

F-逻辑 (F-logic)

F-逻辑, 本体论, 框架, 知识表示, 逻辑编程

人工智能, 编程语言, 计算机科学, 计算语言学, 逻辑编程

λProlog (Lambda Prolog)

Lambda Prolog, Prolog, λProlog, 程序设计, 逻辑编程

人工智能, 数据库, 研究, 编程语言, 计算机科学

XSB (XSB)

Prolog, XSB, 数据库系统, 知识表示, 逻辑编程

人工智能, 技术, 编程, 计算机科学, 软件开发

推论式编程 (Inferential programming)

声明式编程, 推论式编程, 约束编程, 编程范式, 逻辑编程

人工智能, 优化, 算法, 编程, 计算机科学

约束逻辑编程 (Constraint Logic Programming)

CLP, 人工智能, 约束逻辑编程, 编程, 逻辑编程