Predicative programming
முன்கணிப்பு நிரலாக்கம் என்பது நிரல் விவரக்குறிப்பு மற்றும் சுத்திகரிப்புக்கான முறையான முறையின் அசல் பெயர், இது சமீபத்தில் எரிக் ஹெஹ்னரால் கண்டுபிடிக்கப்பட்ட நிரலாக்கத்தின் நடைமுறைக் கோட்பாடு என்று அழைக்கப்படுகிறது. மைய யோசனை என்னவென்றால், ஒவ்வொரு விவரக்குறிப்பும் ஒரு பைனரி (பூலியன்) வெளிப்பாடாகும், இது ஏற்றுக்கொள்ளக்கூடிய கணினி நடத்தைகளுக்கு உண்மை மற்றும் ஏற்றுக்கொள்ள முடியாத நடத்தைகளுக்கு தவறானது. சுத்திகரிப்பு என்பது வெறும் உட்பொருள் என்பதை இது பின்பற்றுகிறது. இது எளிமையான முறையான முறையாகும், மேலும் மிகவும் பொதுவானது, இது தொடர்ச்சியான, இணையான, தனித்துவமான, தொடர்புகொள்வது, நிறுத்துவது, முடிவடையாத, இயற்கையான-நேரம், நிகழ்நேர, தீர்மானகரமான மற்றும் நிகழ்தகவு திட்டங்களுக்கு பொருந்தும், மேலும் நேரம் மற்றும் இட வரம்புகளை உள்ளடக்கியது. ஒரு நிரலாக்க மொழியில் உள்ள கட்டளைகள் விவரக்குறிப்பின் ஒரு சிறப்பு நிகழ்வாகக் கருதப்படுகின்றன-அவை தொகுக்கக்கூடிய விவரக்குறிப்புகள். எடுத்துக்காட்டாக, நிரல் மாறிகள் என்றால், மற்றும், கட்டளைஃ = + 1 என்பது விவரக்குறிப்புக்கு (பைனரி வெளிப்பாடு) சமம், இதில், மற்றும் பணிக்கு முன் நிரல் மாறிகளின் மதிப்புகளைக் குறிக்கிறது, மற்றும், மற்றும் பணிக்குப் பிறகு நிரல் மாறிகளின் மதிப்புகளைக் குறிக்கிறது. விவரக்குறிப்பு> என்றால், நாம் எளிதாக நிரூபிக்க (: = + 1) ணி (>), இது கூறுகிறதுஃ = + 1 குறிக்கிறது, அல்லது செம்மைப்படுத்துகிறது, அல்லது செயல்படுத்துகிறது>. லூப் ஆதாரங்கள் மிகவும் எளிமைப்படுத்தப்பட்டுள்ளன. எடுத்துக்காட்டாக, ஒரு முழு எண் மாறி என்றால்,> 0 செய்யும்போதுஃ =-1 od ஐச் செம்மைப்படுத்துகிறது, அல்லது விவரக்குறிப்பைச் செயல்படுத்தும் போது,> 0 என்றால் நிரூபிக்கவும்ஃ =-1; (≤0 ியம = 0) இல்லையெனில் ஃபை ν (≤0 ν = 0) எங்கே = (=) காலியாக உள்ளது, அல்லது எதுவும் செய்யாத கட்டளை. ஒரு சுழல் மாறாத அல்லது குறைந்தபட்ச நிலையான புள்ளி தேவையில்லை. பல இடைநிலை ஆழமற்ற மற்றும் ஆழமான வெளியேற்றங்களைக் கொண்ட சுழல்கள் அதே வழியில் செயல்படுகின்றன. நிரல் கட்டளைகள் மற்றும் விவரக்குறிப்புகள் ஒன்றாக அர்த்தமுள்ள வகையில் கலக்கப்படலாம் என்பதால் இந்த எளிமைப்படுத்தப்பட்ட ஆதார வடிவம் சாத்தியமாகும். ஒரு நேர மாறியை அறிமுகப்படுத்துவதன் மூலம் நிறைவேற்றும் நேரத்தை (மேல் வரம்புகள், கீழ் வரம்புகள், சரியான நேரம்) அதே வழியில் நிரூபிக்க முடியும். முடித்தலை நிரூபிக்க, நிறைவேற்றும் நேரம் வரையறுக்கப்பட்டுள்ளது என்பதை நிரூபிக்கவும். அழிக்கப்படாததை நிரூபிக்க, மரணதண்டனை நேரம் எல்லையற்றது என்பதை நிரூபிக்கவும். எடுத்துக்காட்டாக, நேர மாறுபாடு என்றால், மற்றும் நேரம் மறு செய்கைகளை எண்ணுவதன் மூலம் அளவிடப்படுகிறது என்றால், முந்தைய வெயில்-லூபின் செயல்பாடு ஆரம்பத்தில் எதிர்மறையாக இல்லாதபோது நேரம் எடுக்கும் என்பதை நிரூபிக்க, ஆரம்பத்தில் எதிர்மறையாக இருக்கும்போது எப்போதும் எடுக்கும்,> 0 என்றால் நிரூபிக்கவும்ஃ =-1;: = + 1; (≤0 * = +) ≤ (<0 * = ≤) அல்லது ஃபை ≤ (≤0 * = +) ≤ (<0 * = ≤) எங்கே = (= ≤ =). நூலியல் ஈ. சி. ஆர். ஹெஹ்னர், நிரலாக்கத்தின் நடைமுறைக் கோட்பாடு, ஸ்பிரிங்கர்-வெர்லாக் 1993. நிரலாக்கத்தின் நடைமுறைக் கோட்பாட்டில் ஆன்லைனில் மிக சமீபத்திய பதிப்பு. வெளிப்புற இணைப்புகள் எரிக் ஹெஹ்னரின் வெளியீடுகள். முறையான முறைகள் முறையான விவரக்குறிப்பு மொழிகள் தர்க்கரீதியான கணக்கீடு