- 博客(1)
- 收藏
- 关注
RSS订阅转载 Prolog笔记
Prolog是一种以一阶谓词为基础的逻辑性语言。Programing in LogicProlog语言（或者系统）是以一阶谓词逻辑的Horn 子句集为语法，以Robinson的消解原理为工具，加上深度优先的控制策略而形成的人工智能通用程序设计语言 ① 是一种描述性语言。只需要告诉 “系统做什么”，不要告诉系统 “如何做”② 数据与程序的统一表达。提供一种统一的符号结构 “项” ，数...
2018-09-29 14:29:59
3284
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人