prolog工具的使用
swi prolog http://www.swi-prolog.org/
下载了windows版本,
使用
?- [swi('demo/likes')].
来载入prolog源文件,文件夹demo在安装目录下
使用learn prolog now来学习
prolog文件的三个主要组成部分为facts, rules, and queries.
fact不需要前提条件
rules是fact是的推导
query就是我们想知道什么问题的答案;
第一章的例子
1
woman(mia).
woman(jody).
woman(yolanda).
playAirGuitar(jody).