हायलॉग

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

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

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

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

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