codice_35 என்னும் உட்கட்டமைக்கப்பட்ட புரோலாக் பயனிலை புறம்பாக்கலை தோல்வியாக வழங்குகிறது, அது ஒருபோக்கற்ற பகுத்தறிதலுக்கு அனுமதிக்கப்படுகிறது. legal(X) :- \+ illegal(X) என்னும் விதியிலுள்ள codice_36 என்பது

பின்வருமாறு கணக்கிடப்படுகிறது: புரோலாக் codice_37 ஐ நிரூபிக்க முயற்சிக்கிறது. குறிக்கோளுக்கான நிரூபணம் கண்டறியப்பட முடிந்தால், முதல் குறிக்கோள் (அதாவது, codice_36) தோல்வியடைகிறது. நிரூபணம் எதுவும் கிடைக்கவில்லை எனில், முதல் குறிக்கோள் வெற்றியடைகிறது. ஆகவே, குறிக்கோள் நிரூபிக்கப்படாவிட்டால் codice_39 என்ற வினவல் வெற்றியடைகிறது என்பதால், codice_35 என்ற முன்னொட்டு ஆப்பரேட்டர் "நிரூபிக்க முடியாத" ஆப்பரேட்டர் என அழைக்கப்படுகிறது. இவ்வகை புறம்பாக்கலானது அதன் அளவுருக்கள் "உறுதியானதாக" (அதாவது மாறிகள் எதையும் கொண்டிருக்கவில்லை) இருந்தால் உறுதியானதாக இருக்கும். அளவுரு மாறிகளைக் கொண்டிருந்தால் அதன் உறுதித் தன்மை இழக்கப்படுகிறது, மேலும் நிரூபண வழிமுறை முடிகிறது. குறிப்பாக, இப்போது codice_41 என்ற வினவலை விதிப்பூர்வமான அனைத்தையும் கணக்கிடப் பயன்படுத்த முடியாது.

தரவு வகைகள்
உயர்-வரிசை நிரலாக்கம்
புறம்பாக்கல்
செயல்மிகு நிரலாக்கம்