Prolog Language
अतिरिक्त-तार्किक विधेय
खोज…
साइड इफेक्ट्स के साथ की भविष्यवाणी
साइड इफेक्ट का उत्पादन करने वाले विधेय शुद्ध तर्क के दायरे को छोड़ देते हैं। ये उदाहरण के लिए हैं:
-
writeq/1
-
read/1
-
format/2
दुष्प्रभाव घटना है कि कार्यक्रम के भीतर के बारे में तर्क नहीं किया जा सकता है। उदाहरण के लिए, सिस्टम टर्मिनल पर एक फ़ाइल या आउटपुट का विलोपन।
मेटा-लॉजिकल भविष्यवाणी करता है
भविष्यवाणी करता है कि तात्कालिकता के कारण को मेटा-तार्किक कहा जाता है। उदाहरण हैं:
-
var/1
-
ground/1
-
integer/1
ये भविष्यवाणी शुद्ध मोनोटोनिक तर्क कार्यक्रमों के दायरे से बाहर हैं, क्योंकि वे संयोजन के संयम जैसे गुणों को तोड़ते हैं।
अन्य तार्किक जो मेटा-तार्किक हैं, उनमें शामिल हैं:
-
arg/3
-
functor/3
-
(=..)/2
ये विधेय सिद्धांत रूप में पहले क्रम तर्क के भीतर तैयार किया जा सकता है, लेकिन खंड की एक अनंत संख्या की आवश्यकता है।
सभी समाधानों की भविष्यवाणी करता है
भविष्यवाणी करता है कि सभी समाधानों के बारे में कारण अतिरिक्त-तार्किक हैं। ये उदाहरण के लिए हैं:
-
setof/3
-
findall/3
-
bagof/3
/! 0 और संबंधित विधेय
प्रोगेडेट करता है कि प्रोलॉग कार्यक्रमों के एक घोषणात्मक पढ़ने को बाधित या निषिद्ध करना अतिरिक्त-तार्किक है। ऐसे विधेय के उदाहरण हैं:
-
!/0
-
(->)/2
और यदि-तब-तब -
(\+)/1
इन विधेयकों को केवल दुभाषिया के वास्तविक नियंत्रण प्रवाह को ध्यान में रखकर प्रक्रियात्मक रूप से समझा जा सकता है, और जैसे शुद्ध तर्क के दायरे से परे हैं।