पर प्रोलॉग कोड निष्पादित करना मुझे वर्तमान में एक एप्लिकेशन में प्रोलॉग कोड निष्पादित करने की आवश्यकता है। मुझे पता है कि ऐप्पल शायद ऐप स्टोर में ऐसा कुछ भी अनुमति नहीं देगा, लेकिन यह इरादा नहीं है। य
कई प्रोग्रामर मैंने विश्वविद्यालय में प्रोलॉग का अध्ययन किया, लेकिन केवल बहुत कम। मैं समझता हूं कि प्रोलॉग और डेलिटल निकट से संबंधित हैं, लेकिन डेलिटल आसान है? साथ ही, मेरा मानना है कि मैंने पढ़ा है
पुनरावृत्ति का उपयोग करके 1 से 10 तक संख्याओं को मुद्रित करने के लिए प्रोलॉग में प्रोग्राम को आप कैसे कोड करेंगे? मैंने निम्नलिखित की कोशिश की है लेकिन यह काम नहीं करता है, क्या आप मुझे बता सकते हैं क
में गतिशील नियम सम्मिलन मैं एसडब्ल्यूआई-प्रोलॉग का उपयोग करके ज्ञान आधार पर गतिशील रूप से एक नियम जोड़ने की कोशिश कर रहा हूं जहां नियम का शरीर पहले से अज्ञात है। rule(a) :- fact(1), fact(2).
आम तौर
के लिए क्या एल्गोरिदम मुझे शेड्यूलिंग कार्यों की समस्या है। प्रत्येक कार्य में एक प्रारंभिक समय टी सुझाया जाता है (इसे [टी -10, टी +10] से शुरू करने की आवश्यकता होती है), पूरा करने के लिए एल मिनट लगते
http://muaddibspace.blogspot.com/2008/01/type-inference-for-simply-typed-lambda.html प्रोलॉग में बस टाइप किए गए लैम्ब्डा कैलकुस की संक्षिप्त परिभाषा है। यह ठीक दिखता है, लेकिन फिर वह वाई संयोजक को एक
मैं clpfd लाइब्रेरी का उपयोग कर (swi) prolog में बाधाओं के साथ खेल रहा हूं। मैं पहचानने की कोशिश कर रहा हूं कि बाधाओं का एक सेट दूसरे को समाहित करता है या उदाहरण देता है, उदा। एक्स < 4 एक्स < 7 encaps
काम पर वहाँ एक वेब ऐप्लिकेशन पर किसी नियम इंजन के लिए बैकएंड के रूप में prolog का उपयोग करने का विचार-विमर्श किया गया था। यह मौजूदा सिस्टम में कैसे बंधेगा? प्रोलॉग मॉड्यूल के आवेदक की अनुमति देने वाली
में एक ऑपरेटर को परिभाषित करने की कोशिश कर मैं निम्नलिखित कोड के साथ एक prolog फ़ाइल को परिभाषित किया है: divisible(X, Y) :-
X mod Y =:= 0.
divisibleBy(X, Y) :-
divisible(X, Y).
op(35,xf
मुझे कुछ कोड प्राप्त करने का प्रयास करने में समस्या है जो मेरी क्वेरी के अद्वितीय उत्तर देता है। A = a
B = b ? ;
A = a
B = b ? ;
yes.
आप देख सकते हैं दो समाधान एक ही कर रहे हैं: उदाहरण के लिए,