prolog

15गर्मी

2उत्तर

प्रोलॉग "या" ऑपरेटर, क्वेरी

मैं कुछ प्रस्तावना पर काम कर रहा हूं कि मैं नया हूं। मैं एक "या" ऑपरेटर registered(X, Y), Y=ct101, Y=ct102, Y=ct103. की तलाश में हूँ यहाँ मेरी क्वेरी है। क्या मैं लिखना चाहते हैं कोड है कि करेंगे: "

syntax prolog operators logic 2012-11-22

---

8गर्मी

2उत्तर

प्रोलॉग: यह जांचने के लिए कि कोई भविष्य मौजूद है या नहीं?

मैं कैसे जांच सकता हूं कि प्रोलॉग प्रोग्राम में कोई पूर्वानुमान मौजूद है या नहीं? यही कारण है कि एक exists/1 होगा, जैसे: ?- exists(some_predicate). false. ?- assert(some_predicate). true. ?- exi

prolog 2012-10-14

---

7गर्मी

3उत्तर

मुझे उत्सुकता है यदि लॉजिकल प्रोग्राम बीजगणित

कर सकता है, मैंने प्रोलॉग और लॉजिकल प्रोग्रामिंग के बारे में एक संक्षिप्त लेख पढ़ा है। अगर तर्कसंगत कार्यक्रम बीजगणित कर सकता है तो मैं उत्सुक हूं। जैसा कि आप पूछ सकते हैं कि एक्स के वेरिएबल समीकरण 5

prolog algebra declarative clpfd clpq 2012-12-03

---

10गर्मी

2उत्तर

prolog - एक चर के मान को प्रिंट करें

मैं सिर्फ X के मान को मुद्रित करने का तरीका नहीं समझ सकता। यहाँ है कि मैं क्या उच्चस्तरीय में करने की कोशिश की है: 59 ?- read(X). |: 2. X = 2. 60 ?- write(X). _G253 true. _G253 क्या है? मैं इं

variables prolog return-value 2012-10-16

---

7गर्मी

3उत्तर

प्रोलॉग में अनुमानित नाम के बाद स्लैश का अर्थ क्या है?

मैंने एसओ प्रश्न what does slash(/) do in prolog? और What is the meaning of predicate “simple/1” in Prolog (SWI-Prolog) पढ़े हैं, लेकिन ये लिंक मेरी मदद नहीं करते हैं। मैं प्रोलॉग पर कुछ शुरुआती ट्यूट

prolog predicate 2012-10-17

---

22गर्मी

3उत्तर

हास्केल की टाइप सिस्टम और तर्क प्रोग्रामिंग - स्तर

टाइप करने के लिए प्रोलॉग प्रोग्राम्स को पोर्ट करने के लिए कैसे करें मैं एक तर्क प्रोग्रामिंग भाषा (मेरे मामले में प्रोलॉग) और हास्केल के प्रकार सिस्टम के बीच संबंध को समझने की कोशिश कर रहा हूं। मैं सं

haskell prolog type-systems logic-programming 2012-12-16

---

7गर्मी

2उत्तर

प्रोलॉग

में सूची के अंत में जोड़ने के लिए कैसे मैं प्रोलॉग में एक सूची के अंत में एक आइटम जोड़ने की कोशिश कर रहा हूं, लेकिन यह असफल रहा है। insertAtEnd(X,[ ],[X]). insertAtEnd(X,[H|T],[H|Z]) :- insertAtEnd(X

prolog 2012-10-31

---

6गर्मी

1उत्तर

मानक इनपुट से पार्सिंग

मैं मानक इनपुट (बफरिंग के बिना) का विश्लेषण कैसे करूं? अगर मैं सही ढंग से समझता हूं, phrase/2 को एक सूची की आवश्यकता है, और library(pure_input) से फ़ाइल की आवश्यकता है। मैं सामान्य विधेय (नहीं DCG) का

prolog swi-prolog 2012-12-19

---

5गर्मी

3उत्तर

पार्सर कार्यान्वयन

हाय मैं इस तरह व्याकरण के साथ एक सरल भाषा के लिए एक पार्सर को लागू करने की कोशिश कर रहा हूँ। program ::= "program" declarations "begin" statements "end" declaration ::= "var" ident "as" type type ::

parsing prolog 2012-11-02

---

6गर्मी

1उत्तर

SWI-prolog निषेध

मैं एक कठिन Prolog में निषेध पर स्पष्ट जवाब के लिए खोज समय मिला है, तो मैं माफी माँगता हूँ अगर यह एक स्पष्ट सवाल यह है: मैं एक सरल कोड है कि तार्किक कहेंगे लिखने के लिए कोशिश कर रहा हूँ "एक्स और वाई ए

prolog negation 2012-11-15

---