[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


From: michel levy
Subject: determinism
Date: Mon, 12 Feb 2007 16:20:26 +0100
User-agent: Mozilla Thunderbird 1.0.8-1.1.fc4 (X11/20060501)

Could you help to write this program :
det(T,G) succeeds if and only if G succeeds once and only once and give the T answer. 1) I don't want the solution below by findall, because I want to try at most two back tracks on G.
det(T,G) :- findall(T,G,L),length(L,1)

2) I know already call_det but it's not the solution because G can have choice points, but only one answer.

Michel Levy
L.S.R., Bureau C214, B.P.72 - 38402 SAINT MARTIN D'HERES CEDEX
e.mail : address@hidden    tel :(33)476514022

reply via email to

[Prev in Thread] Current Thread [Next in Thread]