curry tutorial की धारा 3.13.3 से: संचालन residuate कि, कठोर कहा जाता है, जबकि कार्य है कि संकीर्ण लचीला कहा जाता है। सभी परिभाषित परिचालन लचीले होते हैं जबकि अंकगणितीय परिचालनों जैसे अधिकांश आदिम परिच
मेरे पास एक मानक डेटाटाइप है जो भविष्यवाणी तर्क के सूत्रों का प्रतिनिधित्व करता है। एक समारोह अलगाव के लिए एक प्राकृतिक कटौती उन्मूलन नियम का प्रतिनिधित्व करने लग सकती है: d_el p q =
if p =: (Dis
मैं आपको पूछना चाहता हूं कि स्क्रैच/रिवर्स इंजीनियर से लागू करने के लिए कौन सी औपचारिक प्रणाली अधिक दिलचस्प हो सकती है। मैंने लॉजिकल/घोषणात्मक प्रोग्रामिंग सिस्टम की कुछ मौजूदा और ओपन-सोर्स परियोजनाओं