प्रोलॉग प्रोग्राम दो पूर्णांक वर्गों के योग के रूप में एक (पूर्णांक) संख्या प्राप्त करने के लिए, यह क्यों काम नहीं करता है?

Question

मैं प्रोलॉग सीखना शुरू कर रहा हूं और मुझे एक प्रोग्राम चाहिए जो एक पूर्णांक P देता है A और B को P = A² + B² को पूर्णांक देता है। अगर वहाँ A और B के मूल्यों है कि इस समीकरण को संतुष्ट नहीं हैं, false

किया जाना चाहिये उदाहरण के लिए: अगर P = 5, यह A = 1 और B = 2 (या A = 2 और B = 1) क्योंकि 1² + 2² = 5 देना चाहिए। क्वेरी के साथ

giveSum(P, A, B) :- integer(A), integer(B), integer(P), P is A*A + B*B. 

:

मैं सोच रहा था इस काम करना चाहिए

giveSum(5, A, B). 

हालांकि, ऐसा नहीं है। मुझे क्या करना चाहिए? मैं प्रोलॉग के लिए बहुत नया हूं इसलिए मैं अभी भी बहुत सारी गलतियों को कर रहा हूं।

अग्रिम धन्यवाद!

Answer 1

integer/1 एक गैर-monotonic predicate है। यह एक संबंध है जो इस मामले में आप जिस तर्क को लागू करने की उम्मीद कर सकते हैं। इस उदाहरण देना करने के लिए:

 
?- integer(I). 
false. 

कोई पूर्णांक मौजूद है, हाँ? रंग मुझे आश्चर्यचकित करने के लिए आश्चर्यचकित!

ऐसी गैर-रिलेशनल संरचनाओं के बजाय, पूर्णांक के कारण के लिए अपने प्रोलॉग सिस्टम की सीएलपी (एफडी) बाधा का उपयोग करें।

उदाहरण के लिए:

 
?- 5 #= A*A + B*B. 
A in -2..-1\/1..2, 
A^2#=_G1025, 
_G1025 in 1..4, 
_G1025+_G1052#=5, 
_G1052 in 1..4, 
B^2#=_G406, 
B in -2..-1\/1..2 

और ठोस समाधान के लिए:

 
?- 5 #= A*A + B*B, label([A,B]). 
A = -2, 
B = -1 ; 
A = -2, 
B = 1 ; 
A = -1, 
B = -2 ; 
etc. 

सीएलपी (एफडी) की कमी पूरी तरह से शुद्ध संबंधों कि जिस तरह से आप उम्मीद में इस्तेमाल किया जा सकता है। अधिक जानकारी के लिए clpfd देखें।

अन्य चीजें मैंने देखा:

• use_underscores_for_readability_as_is_the_convention_in_prolog बजाय ofMixingTheCasesToMakePredicatesHardToRead।
• घोषणात्मक नामों का उपयोग करें, अनिवार्यताओं से बचें। उदाहरण के लिए, इसे give_sum क्यों कॉल करें? यह अनुमान भी सही समझ में आता है यदि योग पहले से ही दिया गया है। तो, उदाहरण के लिए, sum_of_squares/3 के बारे में क्या?

Answer 2

दक्षता के लिए, प्रोलॉग कार्यान्वयनकर्ताओं ने कई वर्षों पहले - कुछ समझौता किया है। अब, संभावना है कि आपके Prolog उन्नत पूर्णांक अंकगणित लागू करता है, जैसे सीएलपी (एफडी) करता है। यदि यह मामला है, तो चटाई का जवाब सही है। लेकिन कुछ प्रस्ताव (शायद एक बेवकूफ आईएसओ प्रोलॉग अनुपालन प्रोसेसर), लापता लेबल/1, और (# =)/2 के बारे में शिकायत कर सकता है।तो, एक पारंपरिक Prolog समाधान: तकनीक कहा जाता है पैदा करते हैं और परीक्षण:

giveSum(P, A, B) :- 
    (integer(P) -> between(1,P,A), between(1,P,B) ; integer(A),integer(B)), 
    P is A*A + B*B. 

/3 के बीच यह एक आईएसओ निर्मित नहीं है, लेकिन यह बजाय आसान है (# =)/2 और लेबल/1 लिखने के लिए :)

वैसे भी, कृपया चटाई की सलाह का पालन करें और 'अनिवार्य' नामकरण से बचें। अक्सर संबंध का विवरण बेहतर होता है, क्योंकि प्रोलॉग यह सिर्फ यही है: एक संबंधपरक भाषा।