मेरा एसडब्ल्यूआई-प्रोलॉग ज्ञान बेस में निम्नलिखित दो तथ्य हैं:यह प्रोलॉग क्वेरी सच और झूठी क्यों है?
f(a,b).
f(a,c).
अब अगर मैं क्वेरी
?- f(a,c).
true.
उत्पन्न करता हूं लेकिन
?- f(a,b).
true ;
false.
क्यों f (a, b) दोनों है सही और गलत? यह तब होता है जब केबी में तीन तथ्य होते हैं। अगर मैं एफ (ए, डी) संलग्न करता हूं। केबी के लिए, फिर एफ (ए, डी) सच है (केवल), लेकिन एफ (ए, बी) और एफ (ए, सी) दोनों सत्य और झूठे हैं। क्या हो रहा है, और मैं क्या कर सकता हूं ताकि प्रोलॉग इन प्रश्नों के उत्तर (केवल) सच हो?
अरे, अच्छा सवाल: आप Prolog बताने के लिए पहली सफल हिट के बाद उत्तर की तलाश में बंद करना चाहते हैं, तो कटौती (
!
) का उपयोग करें। –