Prolog基本知识

和SQL一样，Prolog基于数据库，但是其数据有逻辑规则和关系组成。
在Prolog中，数据以逻辑规则的形式存在，下面是基本构造单元。

• 事实。事实是关于真实世界的基本语言。（Babe是一头猪，猪喜欢泥巴。）
• 规则。规则是关于真实世界中一些事实的推论。（如果一个动物是猪，那么它喜欢泥巴。）
• 查询。查询是关于真实世界的一个问题。（Babe喜欢泥巴吗？）

事实和规则被放入一个知识库（knowledge base）.Prolog编译器将这个知识库编译成一种适用于高效查询的形式。