मैं आपको पूछना चाहता हूं कि स्क्रैच/रिवर्स इंजीनियर से लागू करने के लिए कौन सी औपचारिक प्रणाली अधिक दिलचस्प हो सकती है।अधिक दिलचस्प या शक्तिशाली क्या है: करी, बुध या लैम्ब्डा-प्रोलॉग?
मैंने लॉजिकल/घोषणात्मक प्रोग्रामिंग सिस्टम की कुछ मौजूदा और ओपन-सोर्स परियोजनाओं को देखा है। मैंने अपने खाली समय में कुछ कम करने का निर्णय लिया है, या कम से कम कार्यान्वयन के सामान्य विचार को पकड़ने का फैसला किया है।
यह बहुत अच्छा होगा अगर इनमें से कुछ सिस्टम लॉजिक में आधुनिक शैक्षिक जांच और कम्प्यूटेशनल मॉडल के साथ इसके संबंध में अभिव्यक्तिपूर्ण शक्ति और समग्रता की अधिकतरता प्रदान करेंगे।
कम से कम अवधारणात्मक स्तर पर अध्ययन करने की आप क्या सलाह देंगे? उदाहरण के लिए, लैम्ब्डा-प्रोलॉग दिलचस्प है क्योंकि यह उच्च आदेश संबंधों की अनुमति देता है, लेकिन AFAIK अंतर्ज्ञानवादी तर्क पर आधारित है और इसलिए बहिष्कृत-मध्य सिद्धांत की कमी है; यह आमतौर पर मेरे लिए एक नुकसान है।
मैं आधुनिक लॉजिकल प्रोग्रामिंग सिस्टम के बारे में किसी भी सुझाव का भी स्वागत करता हूं जो कम लोकप्रिय लेकिन अधिक अभिव्यक्तिपूर्ण/शक्तिशाली है।
यह एक समान प्रश्न है: http://stackoverflow.com/questions/17675133/most-useful-instructive- कार्यात्मक-logic-language-to-learn?rq=1 –