人工智能知识库
Search
搜索
暗色模式
亮色模式
探索
标签: Prolog
此标签下有2条笔记。
2026年4月18日
符号逻辑与AI
符号逻辑
命题逻辑
谓词逻辑
模态逻辑
人工智能
知识表示
自动推理
逻辑编程
Prolog
知识工程
2026年4月18日
自动定理证明
自动定理证明
归结原理
霍恩子句
Prolog
前向链接
后向链接
推理引擎
Coq
Isabelle
LISP