हायलॉग

हायलॉग उच्च क्रम सिंटैक्स वाला एक प्रोग्रामिंग तर्क है, जो मनमाने शब्दों को विधेय और कार्य स्थितियों में प्रकट होने की अनुमति देता है। चूंकि, हायलॉग का मॉडल सिद्धांत प्रथम-क्रम है। चूंकि सिंटैक्टिक रूप से हायलॉग सख्ती से पहले ऑर्डर तर्क का विस्तार करता है, तथा हायलॉग को इस तर्क में एम्बेड किया जा सकता है।

हायलॉग को पहली बार 1989 में वर्णित किया गया था। इसे पश्चात में कई प्रकार के तर्क की दिशा में बढ़ाया गया है।

एक्सएसबी प्रणाली हायलॉग सिंटैक्स को पार्स करता है, लेकिन एक्सएसबी में हायलॉग का एकीकरण केवल आंशिक है। विशेष रूप से, हायलॉग एक्सएसबी मॉड्यूल प्रणाली के साथ एकीकृत नहीं है। फ्लोरा-2 प्रणाली में हाईलॉग का पूर्ण कार्यान्वयन उपलब्ध है।

यह दिखाया गया है कि हायलॉग को पर्याप्त सरल परिवर्तन के माध्यम से प्रथम-क्रम तर्क में एम्बेड किया जा सकता है। उदाहरण के लिए, निम्नलिखित प्रथम-क्रम लागू करें   जो शब्द के रूप में एम्बेड हो जाता है।

नियम विनिमय प्रारूप एफएलडी रूल इंटरचेंज फॉर्मेट (आरआईएफ) के तर्क आधारित डायलेक्ट्स (आरआईएफ-एफएलडी) के लिए फ्रेमवर्क पर्याप्त हद तक हायलॉग और एफ तर्क के विचारों पर आधारित है।

उदाहरण
नीचे दिए गए सभी उदाहरणों में, पूंजीकृत प्रतीक चर को दर्शाते हैं और अल्पविराम तार्किक संयोजन को दर्शाता है, जैसा कि अधिकांश तर्क प्रोग्रामिंग भाषाओं में होता है। पहले और दूसरे उदाहरण दिखाते हैं कि चर विधेय स्थिति में प्रकट हो सकते हैं। विधेय जटिल शब्द भी हो सकते हैं, जैसे कि क्लोजर (पी) या मैपलिस्ट (एफ), तीसरा उदाहरण दिखाता है कि चर भी परमाणु सूत्रों के स्थान पर प्रकट हो सकते हैं, जबकि चौथा उदाहरण फ़ंक्शन प्रतीकों के स्थान पर चर के उपयोग को दिखाता है। पहला उदाहरण एक सामान्य सकर्मक क्लोजर ऑपरेटर को परिभाषित करता है, जिसे एक मनमाने ढंग से द्विआधारी विधेय पर लागू किया जा सकता है। दूसरा उदाहरण भी ऐसा ही है। यह एक एलआईएसपी जैसे मैपिंग ऑपरेटर को परिभाषित करता है, जो एक मनमाने ढंग से द्विआधारी विधेय पर लागू होता है। तीसरे उदाहरण से पता चलता है कि प्रोलॉग मेटा प्रेडिकेट कॉल/1 को हायलॉग में प्राकृतिक विधि से और अतिरिक्त तार्किक सुविधाओं के उपयोग के बिना व्यक्त किया जा सकता है। अंतिम उदाहरण एक विधेय को परिभाषित करता है जो पहले-क्रम की शर्तों के रूप में दर्शाए गए मनमाना बाइनरी ट्री को पार करता है।