Prolog 就是"逻辑编程"（programming of Logic）的意思。只要给出事实和规则，它会自动分析其中的逻辑关系，然后允许用户通过查询，完成复杂的逻辑运算。
很适合用来表示人类的思维和推理规则，一问世就赢得了人工智能研究和应用开发者的广泛兴趣；
现在人工智能比较火，来了解一下Prolog；
下载一个；SWI-Prolog；解压；进入bin目录，运行swipl，prolog的命令提示符出来了；
Prolog 所有语句的结尾都用一个"点"（.）表示结束。
write()是打印命令。命令本身就是一个表达式，输出完成以后，返回值就是true.，也会显示出来；
看一下输出 hello world；一开始都不对；第4次输入时，改用单引号，对了；这可能是不同版本的问题；按教程是双引号；
小写字母打头的是字符串；abc直接输出；
大写字母打头是变量；没有赋值，随便输出了一个值；