logic-programming

6गर्मी

2उत्तर

क्लोजर के `core.logic`

The following Clojure code में लक्ष्य आदेश दो अलग-अलग आदेशों में समान लक्ष्यों के साथ समान तर्क समस्या को हल करने के लिए core.logic का उपयोग करता है। ऑर्डर करने का यह विकल्प एक को जल्दी खत्म करने का क

clojure logic-programming clojure-core.logic 2013-01-13

---

23गर्मी

1उत्तर

तार्किक भाषाओं में लक्ष्य निलंबन को किस प्रकार से सिस्टम रोक सकता है?

curry tutorial की धारा 3.13.3 से: संचालन residuate कि, कठोर कहा जाता है, जबकि कार्य है कि संकीर्ण लचीला कहा जाता है। सभी परिभाषित परिचालन लचीले होते हैं जबकि अंकगणितीय परिचालनों जैसे अधिकांश आदिम परिच

type-systems logic-programming curry 2011-01-12

---

14गर्मी

5उत्तर

तर्क प्रोग्रामिंग के लिए प्रोलॉग की तुलना में नई प्रोग्रामिंग भाषा

क्या लॉजिकल प्रोग्रामिंग के लिए प्रोलॉग की तुलना में कोई नई भाषा है?

programming-languages paradigms logic-programming 2011-01-16

---

8गर्मी

4उत्तर

लुआ में तर्क प्रोग्रामिंग?

क्या लुआ में logic programming (प्रोलॉग के बारे में सोचें) करने का कोई तरीका है? विशेष रूप से: तर्क प्रोग्रामिंग के लिए कोई लुआ मॉड्यूल है (miniKanren इम्प्लेमेनेटेशन सबसे अच्छा होगा, लेकिन इसकी कड़ाई

lua logic-programming 2012-02-18

---

14गर्मी

3उत्तर

एरलांग में गैर शॉर्ट सर्किटिंग बूलियन ऑपरेटर का उपयोग क्या है?

मैं LearnYouSomeErlang वेब-बुक से एरलांग सीख रहा हूं। सीखने के दौरान मुझे मारने वाली एक चीज गैर शॉर्ट-सर्किटिंग बूलियन संयोजन और संयोजन ऑपरेटर जैसे थी; and और or। इन ऑपरेटरों के लिए उपयोग के मामले क्य

programming-languages functional-programming erlang logic-programming 2011-11-11

---

22गर्मी

3उत्तर

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

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

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

---

17गर्मी

2उत्तर

सूची बनाम CLIPS बनाम Prolog

कई प्रोग्रामर मैंने विश्वविद्यालय में प्रोलॉग का अध्ययन किया, लेकिन केवल बहुत कम। मैं समझता हूं कि प्रोलॉग और डेलिटल निकट से संबंधित हैं, लेकिन डेलिटल आसान है? साथ ही, मेरा मानना ​​है कि मैंने पढ़ा है

prolog logic-programming clips datalog 2010-10-13

---

9गर्मी

1उत्तर

फ़ंक्शन "कुछ भी नहीं" के बजाय "कोई समाधान नहीं"

मेरे पास एक मानक डेटाटाइप है जो भविष्यवाणी तर्क के सूत्रों का प्रतिनिधित्व करता है। एक समारोह अलगाव के लिए एक प्राकृतिक कटौती उन्मूलन नियम का प्रतिनिधित्व करने लग सकती है: d_el p q = if p =: (Dis

functional-programming logic-programming maybe curry 2011-09-30

---

5गर्मी

1उत्तर

तर्क जो प्रोग्रामिंग

का उपयोग कर अनुकूलित करते हैं, क्या ऐसी कोई भाषाएं हैं जो मनमाने ढंग से तर्क प्रोग्रामिंग का उपयोग करके संकलन-समय अनुकूलन करती हैं? मैं एक भाषा है जिसे आप की तरह कुछ करने के लिए सक्षम हो जाएगा का एक उ

compiler-construction language-agnostic programming-languages logic-programming 2012-12-28

---

6गर्मी

1उत्तर

core.logic

के साथ अद्वितीय डीएजी माता-पिता को सूचीबद्ध करना यहां एक (उम्मीद है) सरल लॉजिकल प्रोग्राम है जिसे मैं थोड़ी देर के लिए अटक गया हूं। मेरे पास कोर.लॉगिक में किनारे के संबंध में प्रतिनिधित्व किया गया है,

clojure logic-programming clojure-core.logic minikanren 2012-09-24

---