和SQL一样，Prolog基于数据库，但是其数据有逻辑规则和关系组成。
在Prolog中，数据以逻辑规则的形式存在，下面是基本构造单元。
- 事实。事实是关于真实世界的基本语言。（Babe是一头猪，猪喜欢泥巴。）
- 规则。规则是关于真实世界中一些事实的推论。（如果一个动物是猪，那么它喜欢泥巴。）
- 查询。查询是关于真实世界的一个问题。（Babe喜欢泥巴吗？）
事实和规则被放入一个知识库（knowledge base）.Prolog编译器将这个知识库编译成一种适用于高效查询的形式。
Prolog基本知识
猜你喜欢
转载自blog.csdn.net/BobDay/article/details/104141756
今日推荐
周排行