HiLog
ஹைலாக் என்பது உயர்-வரிசை தொடரியல் கொண்ட ஒரு நிரலாக்க தர்க்கமாகும், இது தன்னிச்சையான சொற்களை முன்கணிப்பு மற்றும் செயல்பாட்டு நிலைகளில் தோன்ற அனுமதிக்கிறது. இருப்பினும், ஹிலோக்கின் மாதிரி கோட்பாடு முதல் வரிசை. முதல் வரிசை தர்க்கத்தை ஹைலாக் கண்டிப்பாக விரிவுபடுத்துகிறது என்றாலும், ஹைலாக்கை இந்த தர்க்கத்தில் உட்பொதிக்க முடியும். ஹிலாக் முதன்முதலில் 1989 இல் விவரிக்கப்பட்டது. இது பின்னர் பல வரிசைப்படுத்தப்பட்ட தர்க்கத்தின் திசையில் நீட்டிக்கப்பட்டது. XSB அமைப்பு HiLog தொடரியல் பகுப்பாய்வு செய்கிறது, ஆனால் XSB இல் HiLog இன் ஒருங்கிணைப்பு பகுதி மட்டுமே. குறிப்பாக, ஹைலாக் XSB தொகுதி அமைப்புடன் ஒருங்கிணைக்கப்படவில்லை. ஃப்ளோரா-2 அமைப்பில் ஹிலாக்கின் முழு அமலாக்கம் கிடைக்கிறது. மிகவும் எளிமையான மாற்றத்தின் மூலம் முதல்-வரிசை தர்க்கத்தில் ஹைலாக்கை உட்பொதிக்க முடியும் என்பது நிரூபிக்கப்பட்டுள்ளது. உதாரணமாக, p (X) (Y, Z (V) (W)) பின்வரும் முதல் வரிசை வார்த்தையாக உட்பொதிக்கப்படுகிறதுஃ விண்ணப்பிக்கவும் (p (X), Y, விண்ணப்பிக்கவும் (விண்ணப்பிக்கவும் (Z, V), W). ரூல் இன்டர்சேஞ்ச் ஃபார்மேட்டின் (ஆர்ஐஎஃப்) தர்க்க அடிப்படையிலான பேச்சுவழக்குகளுக்கான (ஆர்ஐஎஃப்-எஃப்எல்டி) கட்டமைப்பு பெரும்பாலும் ஹைலாக் மற்றும் எஃப்-லாஜிக்கின் அடிப்படையிலான கருத்துக்களை அடிப்படையாகக் கொண்டது. கீழே உள்ள அனைத்து எடுத்துக்காட்டுகளிலும், பெரும்பாலான லாஜிக் புரோகிராமிங் மொழிகளைப் போலவே, மூலதன குறியீடுகள் மாறிகளைக் குறிக்கின்றன மற்றும் கமா லாஜிக்கல் இணைப்பைக் குறிக்கிறது. முதல் மற்றும் இரண்டாவது எடுத்துக்காட்டுகள் மாறிகள் முன்கணிப்பு நிலைகளில் தோன்றலாம் என்பதைக் காட்டுகின்றன. முன்கணிப்புகள் கீழே உள்ள மூடல் (பி) அல்லது வரைபடப் பட்டியல் (எஃப்) போன்ற சிக்கலான சொற்களாகவும் இருக்கலாம். மூன்றாவது எடுத்துக்காட்டு அணு சூத்திரங்களுக்கு பதிலாக மாறிகள் தோன்றலாம் என்பதைக் காட்டுகிறது, அதே நேரத்தில் நான்காவது எடுத்துக்காட்டு செயல்பாட்டு சின்னங்களுக்கு பதிலாக மாறிகளின் பயன்பாட்டை விளக்குகிறது. முதல் எடுத்துக்காட்டு ஒரு பொதுவான இடைநிலை மூடல் ஆபரேட்டரை வரையறுக்கிறது, இது ஒரு தன்னிச்சையான பைனரி முன்கணிப்புக்கு பயன்படுத்தப்படலாம். இரண்டாவது உதாரணம் இதே போன்றது. இது ஒரு LISP போன்ற மேப்பிங் ஆபரேட்டரை வரையறுக்கிறது, இது ஒரு தன்னிச்சையான பைனரி முன்கணிப்புக்கு பொருந்தும். மூன்றாவது உதாரணம் புரோலாக் மெட்டா-முன்கணிப்பு அழைப்பு/1 ஐ ஹைலாக்கில் இயற்கையான முறையில் மற்றும் கூடுதல் தர்க்கரீதியான அம்சங்களைப் பயன்படுத்தாமல் வெளிப்படுத்த முடியும் என்பதைக் காட்டுகிறது. கடைசி உதாரணம் முதல் வரிசை சொற்களாக குறிப்பிடப்படும் தன்னிச்சையான பைனரி மரங்களை கடந்து செல்லும் ஒரு முன்கணிப்பை வரையறுக்கிறது. மூடல் (பி) (எக்ஸ், ஒய்) <-பி (எக்ஸ், ஒய்). மூடல் (பி) (எக்ஸ், ஒய்) <-பி (எக்ஸ், இசட்), மூடல் (பி) (இசட், ஒய்). வரைபடப் பட்டியல் (F) ([], []). வரைபடப் பட்டியல் (F) ([X|R], [Y|Z]) <-F (X, Y), வரைபடப் பட்டியல் (F) (R, Z). அழைப்பு (X) <-X. குறுக்குவெட்டு (X (L, R)) <-குறுக்குவெட்டு (L), குறுக்குவெட்டு (R). குறிப்புகள் மேலும் வாசிப்பு தர்க்க நிரலாக்க மொழிகள் அறிவிப்பு நிரலாக்க மொழிகள் அறிவு பிரதிநிதித்துவம்