prolog 内部谓词

内部谓词

和其他语言一样，prolog也提供一些基本的输入输出函数。

内部谓词是指已经在prolog中事先定义好的谓词，在内存中的动态数据库中是没有内部谓词子句的。（当我们运行某个.pl 文件的时候，该文件的内容会加载到内存中。所以内存中会有文件中的谓词子句），当解释器遇到内部谓词的目标，它就直接调用事先定义好的程序。

内部谓词一般所完成的工作和逻辑无关，所以这些文词也叫做非逻辑谓词。虽然如此，但这些谓词也可以所谓prolog的目标，所以他们也有四个端口：call exit redo  fail

常用的输出谓词

write/1   %谓词名为 ‘write’  参数数量为 1 个

 ?- write('hello world').
hello world
true.

此谓词被调用是永远成功，它把它的参数作为字符串输出到屏幕上

当回溯时，它永远失败，所以，回溯不会吧已经输出到屏幕上的字符删掉

nl/

?- nl
.

true.

此谓词没有参数，它的作用的在屏幕上输出一个回车符。

和write一样，从call端口嗲用时永远成功，但是回溯时总是失败。

tab/

?- write('hello'),tab(),write('world').
hello          world
true.

此谓词有一个参数，该谓词的作用是在屏幕上输出n个空格 n=参数值

其控制流程和write nl一样

fail/

?- fail.
false.

该谓词没有参数，他的调用永远失败，从而引起回溯。

以前我们靠“；”来释放已经绑定的变量，进入目标的redo端口，变量的输出靠解释器完成，现在我们可以使用I/O谓词来显示变量。靠fail来引起自动回溯。

1 ?- location(X,kitchen),write(X),nl,fail.
apple
broccoli
crackers
false.

　该目标的运行流程如下：

　SWI-Prolog的debug信息如下：

?- location(X,kitchen),write(X),nl,fail.
 T Call: () location(_G263, kitchen)
 T Exit: () location(apple, kitchen)
 T Call: () write(apple)
apple
 T Exit: () write(apple)
 T Call: () nl

 T Exit: () nl
 T Call: () fail
 T Fail: () fail
 T Redo: () location(_G263, kitchen)
 T Exit: () location(broccoli, kitchen)
 T Call: () write(broccoli)
broccoli
 T Exit: () write(broccoli)
 T Call: () nl

 T Exit: () nl
 T Call: () fail
 T Fail: () fail
 T Redo: () location(_G263, kitchen)
 T Exit: () location(crackers, kitchen)
 T Call: () write(crackers)
crackers
 T Exit: () write(crackers)
 T Call: () nl

 T Exit: () nl
 T Call: () fail
 T Fail: () fail
false.

我觉得教程中的debug信息更好，摘录如下：

localtion(X,kitchen),write(X),nl,fail.

call location(X,kitchen)
exit() location(apple,kitchen)
call write(apple)
apple
exit write(apple)
call nl   %调用内部谓词  nl，会在屏幕上输出空格

exit nl
call fail
fail fail   %fail 失败会引起自动回溯
redo nl     %回溯到上一次成功匹配的子句，重新开始在该子句后面查找。I/O谓词应该就是重新运行
fail nl
redo write(apple)
fail write(apple)
redo location(X,kitchen)
exit() location(broccoli,kitchen)
call  write(broccoli)
broccoli
exit  write(broccoli)
call nl

exit nl
call fail
fail fail
redo nl
fail nl
redo write(broccoli)
fail write(broccoli)
redo kitchen(X,kitchen)
exit() kitchen(crackers,kitchen)
call write(crackers)
crackers
exit write(crackers)
call nl

exit nl
call fail
fail fail
redo nl
fail nl
redo write(crackers)
fail write(crackers)
redo location(X,kitchen)
fail location(X,kitchen)
no

那么如下子句执行的结果是什么呢？以及它的流程是如何进行的呢？

?- door(kitchen,R),write(R),nl,location(T,R),tab(),write(T),nl,fail.

?- door(kitchen,R),write(R),nl,location(T,R),tab(),write(T),nl,fail.
office
   desk
   computer
cellar
   washing mechine

%该结果中没有体现出 nl 这个内置谓词运行的结果——即没有回车符，但是在下面的debug信息中，却显示着，nl确实执行过。

如下为使用SWI-prolog的debug信息

 ?- door(kitchen,R),write(R),nl,location(T,R),tab(),write(T),nl,fail.
 T Call: () door(kitchen, _G438)
 T Exit: () door(kitchen, office)
 T Call: () write(office)
office
 T Exit: () write(office)
 T Call: () nl

 T Exit: () nl
 T Call: () location(_G442, office)
 T Exit: () location(desk, office)
 T Call: () tab()

 T Exit: () tab()
 T Call: () write(desk)
desk
 T Exit: () write(desk)
 T Call: () nl

 T Exit: () nl
 T Call: () fail
 T Fail: () fail
 T Redo: () location(_G442, office)
 T Exit: () location(computer, office)
 T Call: () tab()

 T Exit: () tab()
 T Call: () write(computer)
computer
 T Exit: () write(computer)
 T Call: () nl

 T Exit: () nl
 T Call: () fail
 T Fail: () fail
 T Redo: () door(kitchen, _G438)
 T Exit: () door(kitchen, cellar)
 T Call: () write(cellar)
cellar
 T Exit: () write(cellar)
 T Call: () nl

 T Exit: () nl
 T Call: () location(_G442, cellar)
 T Exit: () location('washing mechine', cellar)
 T Call: () tab()

 T Exit: () tab()
 T Call: () write('washing mechine')
washing mechine
 T Exit: () write('washing mechine')
 T Call: () nl

 T Exit: () nl
 T Call: () fail
 T Fail: () fail
false.

同样，我觉得SWI-prolog的debug信息不是很好，所以我就按照前几次的逻辑，自己写了下面这个debug信息（如有错误，请指出）

goal  door(kitchen,R),write(R),nl,location(T,R),tab(),write(T),nl,fail.

call door(kitchen,R)
exit() door(kitchen,office)
call write(office)
office
exit write(office)
call nl

exit nl
call location(T,office)
exit(2) location(desk,office)
call tab()
    exit tab()
call write(desk)
   desk
exit write(desk)
call nl

exit nl
call fail
fail fail
redo nl
fail nl
redo write(desk)
fail write(desk)
redo tab()
fail tab()
redo location(T,office)
exit() location(computer,office)
call tab()
    exit tab()
call write(computer)
    computer
exit write(computer)
call nl

exit nl
call fail
fail fail
redo nl
fail nl
redo write(computer)
fail write(computer)
redo tab()
fail tab()
redo location(T,office)
fail location(T,office)
redo nl
fail nl
redo write(office)
fail write(office)
redo door(kitchen,R)
exit() door(kitchen,cellar)
call write(cellar)
cellar
exit write(cellar)
call nl

exit nl
call location(T,cellar)
exit() location('washing mechine',cellar)
call tab()
   exit tab()
call write('washing mechine')
    washing mechine
exit write('washing mechine')
call nl

exit nl
call fail
fail fail
redo nl
fail nl
redo write('washing meching')
fail write('washing meching')
redo tab()
fail tab()
redo location(T,cellar)
fail location(T,cellar)
redo nl
fail nl
redo write(cellar)
fail write(cellar)
redo door(kitchen,R)
fail door(kitchen,R)
no
  

其他内部谓词：

比较类：

、 =
   等于    绑定变量
、  \=
    不等于
、 >, <
    大于，小于
、>= ,=<
    大于等于， 小于等于
、 ==
    强等于

 ?-  = .
true.

 ?- X = .
X = .

 ?- >.
false.

 ?- <.
true.

 ?- >=.
true.

 ?-  == .
true.

表达式类

、is
    X is Y ， Y可以被实例化为表达式，该谓词先对Y 求值，得到一个整数，如X未实例化，
　　则X 实例化为这一结果，且目标成功，否则，如X 已经实例化，那么 is 退化为 = 来判断成功与否
 、+
    加法运算
、 —
    减法运算
、*
    乘法运算
、/
    除法运算
. mod
    取模运算

优先级：
    +—（正负号），mod，*/, +—(加、减）

?- X is .
X = .

?- S is +.
S = .