七周七语言

3 月，跳不动了？>>> ##有关于Prolog Prolog是一门逻辑编程语言，它于1972年由Alain Colmerauer和Phillipe Roussel开发完成，在 自然语言处理领域颇受欢迎。在Prolog中，数据以逻辑规则的形式存在，下面是基本 构建单元。 事实。事实是关于真实世界的基本断言。（Babe是一头猪，猪喜欢泥巴。） 规则。规则是关于真实世界中一些事实的推论。（如果一个动物是猪，那么它喜欢泥巴。） 查询。查询是关于真实世界的一个问题。（Babe喜欢泥巴吗？） 事实和规则被放入一个知识库（knowledge base）。Prolog编译器将这个知识库编译成一种适 于高效查询的形式。 在Prolog中，第一个字母的大小写是有着重要意义的，如果一个词以小写字母开头，它就是一个原子（atom）——一个类似Ruby符号（symbol）的固定值，如果一个词以大写字母或下划线开头，那么它就是一个变量。变量的值可以改变，原子则不能。 likes(wallace,cheese). //事实 likes(grommit,cheese). likes(wendolene,sheep). friend(X,Y) :- \+(X = Y), likes(X, Z), likes(Y, Z). //规则，\+执行逻辑取反操作，\+(X=Y)表示X不等于Y | ？- friend