logic-programming पर टैग किए गए जवाब

वहाँ एक स्पष्ट संदर्भ है, छद्म कोड के साथ, कैसे एक शुद्ध रूप से कार्यात्मक भाषा में एक प्रोलॉग दुभाषिया को लागू करने के बारे में जाने के लिए? जो मैंने अब तक पाया है वह केवल अनिवार्य भाषाओं से निपटने के लिए लगता है, यह केवल अपने आप में …

25 functional-programming  prolog  logic-programming 

क्या "पार्टी अटेंडेंस" प्रकार की समस्याएं प्रोलॉग में हल करने योग्य हैं? उदाहरण के लिए: बर्डॉक मुलदून और कार्लोटा पिंकस्टोन दोनों ने कहा कि अगर अल्बस डंबलडोर आए तो वे आएंगे। एल्बस डंबलडोर और डेज़ी डोडरिज ने कहा कि अगर कार्लोटा पिंकस्टोन आए तो वे आएंगे। एल्बस डंबलडोर, बर्डॉक मुल्दून, …

18 logic  constraint-programming  prolog  logic-programming 

मुझे पता है कि यह साबित किया जा सकता है PROLOG एक प्रोग्राम का निर्माण करके ट्यूरिंग-पूर्ण है जो इस तरह से ट्यूरिंग मशीन का अनुकरण करता है: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, …

15 programming-languages  turing-completeness  logic-programming  prolog