网页资讯视频图片知道文库贴吧地图采购
进入贴吧全吧搜索
prolog吧 关注：812贴子：2,617

入门问题: 声明一个复合对象，告诉我Wrong Object type。错在哪里?

用Turbo prolog修改一个书上的例子程序。
寻找John的朋友: 条件是这个人喜欢音乐，以及阅读或运动。代码如下:
运行代码，提示我错误光标在hobby实例化的那一行，错误信息:
512 Type error: Wrong object type
源代码:
Domains
name=symbol
item=symbol
hb=hobby(item,item)
Predicates
likes(symbol,symbol)
likes(name,hb)
friend(symbol,symbol)
Clauses
likes(bell,sports).
likes(mary,hobby(music,sports)).%错在这里
likes(jane,smith).
friend(john,X):-likes(X,reading),likes(X,music).
friend(john,X):-likes(X,sports),likes(X,music).
Goal
friend(john,Y),write("Y=",Y)


Domains
name=symbol
item=symbol
hb=hobby(item,item)--------------貌似这个是谓词吧
Predicates
likes(symbol,symbol)
likes(name,hb)-------------------这里hb=symbol
friend(symbol,symbol)


根据以上几位大侠的提示，我改了一下代码:
Domains
name=symbol
item=symbol
hb=hobby(symbol,symbol)
Predicates
hobby(item,item)
likes(name,item)
likes(name,hb)
friend(name,name)
Clauses
likes(bell,sports).
likes(mary,hobby(music,sports)).
likes(jane,swim).
friend(john,X):-likes(X,reading),likes(X,music).
friend(john,X):-likes(X,sports),likes(X,music).
Goal
friend(john,Y),write("Y=",Y).
现在的错误是，401 No clauses for this predicate.
光标停在 hobby(item,item)这一行。


因为你的谓词hobby()没有用到，是不是应该加二行：
friend(john,X):-likes(X,hobby(music,sports)).
friend(john,X):-likes(X,hobby(sports,music)).


我按照你说的，加上了。
但还是那个错误。


我下载了一个win prolog
直接把3楼的内容粘帖到win prolog里面不行啊，报错
| ?- likes(bell,sports).
likes(mary,hobby(music,sports)).
likes(jane,smith).
friend(john,X):-likes(X,reading),likes(X,music).
friend(john,X):-likes(X,sports),likes(X,music).
friend(john,X):-likes(X,hobby(music,sports)).
friend(john,X):-likes(X,hobby(sports,music)).
! ----------------------------------------
! Error 20 : Predicate Not Defined
! Goal : likes(bell,sports)


我按照你说的，新建，把文本贴了进去，然后点击编译。
没有错误，编辑界面里面的关键字从深色变成了浅色。
但是如何运行和得到运行结果呢? 我还没有写我的Goal呢(Turbo prolog要求的结果写在Goal里面, win prolog呢)
请继续执教！


原来是这样，谢谢啦！明天再继续研究！


我按照楼上的大侠说的做了，但是还是有问题:
1. 新建一个文档，把3L的代码粘贴进去，然后Compile All。看起来似乎没有问题。
2. 回到命令行状态，输入friend(john,Y).
| ?- friend(john,Y). ! ----------------------------------------
! Error 20 : Predicate Not Defined
! Goal : iend(john,_25926) Aborted
| ?-
到底错在哪里呢?


用visual prolog的PIE，轻松得到答案。楼主请用Visual Prolog。


扫二维码下载贴吧客户端

下载贴吧APP
看高清直播、视频！
分享到: