具有一定确定性的 member/2 代码 [英] Code for member/2 with some Determinism

查看:17
本文介绍了具有一定确定性的 member/2 代码的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!

问题描述

如何对最后一个具有确定性的成员/2 进行编码元素.目前我正在使用:

How can I code member/2 that has determinism for the last element. Currently I am using:

member(X,[X|_]).
member(X,[_|Y]) :- member(X,Y).

当我查询以下内容时:

?- member(X,[1,2]).
X = 1 ;
X = 2 ;
No

解释器在返回 2 后继续搜索,因为还有一个选择点.我如何实现 member/2这样就不会再发生了?

The interpreter continues searching after returning 2 since there is still a choice point left. How could I implement member/2 so that this does not happen anymore?

但是 member/2 的完整语义应该被保留,即答案如:

But the full semantic of member/2 should be preserved, i.e. answers such as:

 ?- member(X,Y)
 Y = [X|_1] ;
 Y = [_1,X|_2] ;
 etc..

应该仍然像以前一样工作.

Should still work as befor.

再见

推荐答案

member(B, [C|A]) :-
    member_(A, B, C).
member_(_, A, A).
member_([C|A], B, _) :-
    member_(A, B, C).

是 swi 上两次列表调用的结果.

Is the result of two listing calls on swi.

这篇关于具有一定确定性的 member/2 代码的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!

查看全文
登录 关闭
扫码关注1秒登录
发送“验证码”获取 | 15天全站免登陆