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

Question

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

मैं एक भाषा है जिसे आप की तरह कुछ करने के लिए सक्षम हो जाएगा का एक उदाहरण के लिए देख रहा हूँ:

• एक मनमाना विधेय को परिभाषित करता है, उदा is-idempotent?
• संकलक कि f(f(x))f(x) के बराबर है बताओ अगर is-idempotent? समारोह विभिन्न कार्यों के लिए is-idempotent? निर्दिष्ट f
• के लिए सच है (संभवतः परोक्ष रूप से, जैसे अन्य तर्क बयान से गर्भित)
• संकलक है अनुकूलन के आधार पर प्रदर्शन भविष्यवाणी/अनुकूलन जो

Answer 1

मुझे लगता है कि आप क्या चाहते हैं program transformation system है।

ये आपको स्रोत कोड पर लागू करने के लिए नियमों को परिभाषित करने दे सकते हैं, उदाहरण के लिए, कोड अनुकूलित करने के लिए अल्ग्रेब्राइक कानून।

आपको क्या पता चलेगा कि कई प्रकार की समस्याएं हैं। पहला लंगुग्स में स्कोपिंग नियमों और साइड इफेक्ट्स को संभालने वाला है। दूसरा परिवर्तनों की अनुक्रमित है; जिस क्रम में वे लागू होते हैं वे अक्सर मूल रूप से अलग-अलग परिणाम उत्पन्न करते हैं।