prolog पर टैग किए गए जवाब

बंद हो गया । इस प्रश्न पर अधिक ध्यान देने की आवश्यकता है । यह वर्तमान में उत्तर स्वीकार नहीं कर रहा है। इस प्रश्न को सुधारना चाहते हैं? प्रश्न को अपडेट करें ताकि यह इस पोस्ट को संपादित करके केवल एक समस्या पर केंद्रित हो । 3 साल पहले …

124 prolog  logic-programming  minikanren 

( @Repeat के सुझाव पर ) एक शुद्ध कार्यक्रम की एक क्वेरी पर विचार करें 1 ?- G_0. यदि कोई प्रश्न होगा तो क्या उपयोग होगा ?- G_0, G_0.? फ़ुटनोट्स 1 कोई टैब्लिंग (सुरक्षित होने के लिए), बाधाएँ ठीक हैं। विषय पर पिछली पोस्ट ।

12 prolog  logical-purity 

मैं प्रोलॉग-कोरआउटिंग प्रेडिकेट्स के साथ चारों ओर खेल रहा था freeze/2और frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (x86_64 के लिए संस्करण 4.5.1) ने ये उत्तर दिए: | ? - फ्रीज (एक्स, ए = ए), जमे हुए (एक्स, गोल)। लक्ष्य = प्रोलॉग: फ्रीज (एक्स, उपयोगकर्ता: (ए = …

11 prolog  sicstus-prolog  prolog-coroutining