【Prolog】1.0 基础语法与概念

【概述】
Prolog的语法与其它常用语言（如C,JAVA等）不同，它更接近于自然语言。

【实例】
当我想表示“Mia是以女人”这个事实（之后会提到事实这个概念）的时候，我可以这么写

woman(mia).  

这个格式代表这一个事实，a(b). b是a 事实上命名没什么要求，只要你自己记得就好
当我想要知道某个问题的答案，我就可以通过-?对其进行问询，比如

woman(mia).  
  
-? woman(mia).
yes

这就是使用Prolog的一个简单的例子

【常量和变量】
Prolog常量和变量的区分规则简单粗暴：
小写字母是常量，如abc；大写字母则是变量，如Abc
在要求输出时，常量输出自身，变量输出自己的代表值（比如我给Abc赋值了4396.输出Abc就是输出4396，输出abc就是输出abc）

【关系、属性】
两个对象的关系，用括号()表示，比如mia和zed是朋友，则写成

friend(mia,zed).  
friend(zed,mia).

注意，第一条的意思是mia是zed的朋友，不代表zed是mia的朋友，二者互为朋友则需要各写一次 ，这个就叫关系

如果括号中，只有一个对象，那么这便是属性

woman(mia).  

【规则】
规则是prolog进行推断的依据，可以类比其它语言中的if
比如刚才我们嫌朋友的判定太麻烦，于是就可以加入下面这条规则
friend(X, Y) :- friend(Y,X).
这里面的XY就是变量，其中 A:-B 代表从B可以推断出A，也就是B是true，那么A也是true
**:- **代表推理关系
那么，如果一个推断需要多个条件确定呢，那么就把条件用逗号隔开，就像A:- B,C 比如
mother(X, Y) :- child(Y,X), female(X).
X是Y的妈，需要二者有母子关系，并且X是女的
另外，如果一条规则取决于某个条件为false，则在条件之前加上+表示否定

【查询】
在对应的编译器（有时也叫解释器）中，使用 -? ... 来进行查询，...代表要查询的东西