swi-prolog और yap

Question

में विभिन्न परिणाम नमूना कार्यक्रम 8-रानी समाधानों की संख्या को दर्शाता है और गणना करता है।

[user]. 
(perm([X|Y],Z) :- (perm(Y,W),takeout(X,Z,W))). 
perm([],[]). 
takeout(X,[X|R],R). 
(takeout(X,[F|R],[F|S]) :- (takeout(X,R,S))). 
(solve(P) :- (perm([1,2,3,4,5,6,7,8],P),combine([1,2,3,4,5,6,7,8],P,S,D),alldiff(S),alldiff(D))). 
(combine([X1|X],[Y1|Y],[S1|S],[D1|D]) :- (is(S1,+(X1,Y1)),is(D1,-(X1,Y1)),combine(X,Y,S,D))). 
combine([],[],[],[]). 
(alldiff([X|Y]) :- (\+ member(X,Y),alldiff(Y))). 
alldiff([X]). 
end_of_file. 

क्वेरी:

(setof(P,solve(P),Set),length(Set,L),write(L),write('\n'),fail). 

swipl

नियम, (। खेद कोड को पढ़ने के लिए मुश्किल है अगर इस मशीन द्वारा जेनरेट एक एस-अभिव्यक्ति से है मूल कोड https://www.cpp.edu/~jrfisher/www/prolog_tutorial/2_11.html है) 92 लौटाता है; जबकि yap 40320 देता है। इसके अलावा, जब मैं solve(P) क्वेरी करता हूं, तो swipl केवल दो समाधान देता है (जो 92 के विपरीत भी है); याप बहुत अधिक लौटाता है (संभवतः उनमें से 40320)। तो अंतर क्यों? क्या ऐसी गंभीर संगतता समस्या है?

संस्करण:

• YAP 6.2.2 (x86_64-linux): शनि सितं, 17 13:59:03 यूटीसी 2016
• SWI-Prolog amd64 के लिए संस्करण 7.2.3

Answer 1

वाईएपी के पुराने संस्करणों में, एक अपरिभाषित भविष्यवाणी के लिए एक क्वेरी बस विफल रही। उपर्युक्त मामले में, यह member/2 है जिसे YAP में परिभाषित नहीं किया गया है। और इस कारण से आपका परीक्षण alldif/1 हमेशा सफल होता है - इस प्रकार आपको बड़ी संख्या मिलती है।

इसका व्यवहार प्रोलॉग ध्वज unknown द्वारा शासित है जिसका डिफ़ॉल्ट मान error होना चाहिए। YAP 6.2 में डिफ़ॉल्ट (गलत) fail था। इसे 6.3 में ठीक किया गया था।

:- set_prolog_flag(unknown, error). 

अपरिभाषित भविष्यवाणियों के लिए एक साफ़ त्रुटि प्राप्त करने के लिए कहें। फिर, आपको member/2 को परिभाषित करने की आवश्यकता होगी।