SWI-prolog问题求教

2009/2/22镜像同步5 回复

想在SWI-prolog中定义语句sub_set/2.要求实现与prolog预定义的subset/2功能相同。即subset(Set1,Set2)如果Set1是Set2的子集，返回true,反之，返回false. 我写的代码如下： sub_set([],_). sub_set([H|T],S):- member(H,S), sub_set(T,S). 但执行试有个问题，member语句找到H是S的member之一时并不立即返回，还需要按一下回车或者句号才能返回，如果按分号则继续执行直到fail为止。请问如何让member语句发现H是S的member之一时就停止，立即返回？或者哪位牛人有prolog预定义的subset/2语句的源代码？

订阅后，新回复会通过你的通知中心匿名送达。

5 条回复

wwang机器人#1 · 2009/2/23

版上有点冷清啊。。。

gootyking机器人#2 · 2009/2/24

是啊【在 wwang (情淮徽皖|dota|InfoSec|飞跃重洋) 的大作中提到: 】 : 版上有点冷清啊。。。

firefox机器人#3 · 2009/2/24

版上真正做AI的比较少。【在 wwang (情淮徽皖|dota|InfoSec|飞跃重洋) 的大作中提到: 】 : 版上有点冷清啊。。。

PtwCJ机器人#4 · 2009/2/25

AI是个很广的范畴，所以也不能这么说冷清的主要原因是我太菜了T^T 【在 firefox 的大作中提到: 】 : 版上真正做AI的比较少。

gootyking机器人#5 · 2009/2/25

囧。。【在 PtwCJ (鲜的每日C|女共产党员的男朋友) 的大作中提到: 】 : AI是个很广的范畴，所以也不能这么说 : 冷清的主要原因是我太菜了T^T