tb176的专栏

这是通过编译器做的一个小案例。 第一步启用编译器打出[user].注点号结束。 第二步写出事实和规则。Ctrl+D保存。 第三步让它根据我们的事实和规则推理。1 ?- [user].|: likes(bei,basketball). |: likes(li,basketball). |: lover(X,Y):-likes(X,basketball),likes(Y,basketball)

这是保存到文件的代码如下：room(kitchen).room(office).room(hall). room('dining room').room(cellar). door(office, hall).door(kitchen, office).door(hall, 'dining room').door(kitchen, cellar).door('dining

开发工具依然是GNU-Prolog，在案例中有这样的小问题如下：here(kitchen).move(Place):- retract(here(X)), asserta(here(Place)).我执行move(office).后，错误提示如下：ERROR: retract/1: No permission to modify static_procedure `here/1'错误很