प्रोलॉग में \ + मतलब क्या है?

मैंने यहां कुछ जवाब देखे हैं जो इसका उपयोग करते हैं और मुझे नहीं पता कि इसका क्या अर्थ है या इसका उपयोग कैसे किया जाए। मुझे खोज इंजन के माध्यम से इसकी तलाश करना भी मुश्किल है :)प्रोलॉग में + मतलब क्या है?

स्रोत

2009-11-10 Juanjo Conti

प्रोलॉग शब्दकोश भविष्य में उपयोगी साबित हो सकता है: http://www.cse.unsw.edu.au/~billw/prologdict.html – outis

W.r.t. ऑपरेटर का आकार तर्क में "सिद्ध करने योग्य" आमतौर पर टर्नस्टाइल के रूप में लिखा जाता है: | -। तो "साबित नहीं" \ \ में लंबे लंबवत पट्टी के लिए खड़ा है और + में लंबवत पट्टी एक स्लैश के लिए अस्वीकार कर रहा है। – starblue

@starblue यह बहुत दूर है। वे '| +' का उपयोग क्यों नहीं कर सके? या बस बाकी दुनिया की तरह '~' या '!'। – Alexander

यह 'not provable' ऑपरेटर है। यह सफल होता है अगर इसका तर्क साबित नहीं होता है (और यदि यह तर्क साबित होता है तो विफल रहता है)।

स्रोत

2009-11-10 23:44:04

तो \ + (बिल्ली (एक्स)) उतना ही नहीं है (बिल्ली (एक्स))? –

हां, यह आपके कार्यान्वयन का सिर्फ एक विवरण है। इस लिंक में कुछ उदाहरण हैं: http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_5.html –

एसडब्ल्यूआई 'नहीं' का भी उपयोग करता है। मुझे लगता है कि यह एक स्पष्ट वाक्यविन्यास है। –

यह अस्वीकृति के साथ है। \+ Goal सफल होगा अगर Goal साबित नहीं किया जा सकता है।

स्रोत

2009-11-10 23:45:14

ऐसा लगता है कि आपकी बैकस्लैश खाई गई है। मैंने इसे वापस वहां फंस लिया। –

तो \ + (बिल्ली (एक्स)) उतना ही नहीं है (बिल्ली (एक्स))? –

हां, यह कार्ल कहता है। –

प्रोलॉग में \ + मतलब क्या है?

उत्तर

संबंधित मुद्दे