தூய புரோலாக் முதல்-வரிசை பயனிலை தர்க்கத்தின் ஒரு துணைக்குழு, ட்யூரிங்-முழுமையாக உள்ள ஹார்ன் உட்கூறுகள் ஆகியவற்றை அடிப்படையாகக் கொண்டதாகும். புரோலாகை ட்யூரிங் இயந்திரத்தை உருவாக்குவதற்குப் பயன்படுத்துவதன் மூலம் அதன் முழுமைத் தன்மையைக் காண்பிக்கலாம்:
எளிய ஒரு ட்யூரிங் மெஷின் எடுத்துக்காட்டு பின்வரும் உண்மைகளால் குறிப்பிடப்படுகிறது:
இந்த இயந்திரம் யூனரி குறியீட்டாக்கத்திலுள்ள எண்களில் ஒன்றின் அளவுக்கு அதிகரிப்பை செய்கிறது: எந்த எண்ணிக்கையுமுள்ள "1" செல்களில் அது மீண்டும் நிகழ்ந்து முடிவில் ஒரு கூடுதல் "1" ஐ சேர்க்கிறது. எடுத்துக்காட்டு வினவலும் அதன் முடிவும்:
ஏதேனும் ஒரு கணக்கீட்டை புரோலாகில் அடுத்தடுத்த நிலைகளுக்கிடையேயான தொடர்பாக செயல்படுத்தப்பட்ட நிலை மாற்றங்களின் தொடர்ச்சியாக அறிவிப்புத் தன்மையுடன் எவ்வாறு குறிப்பிடலாம் என்பதை இது விளக்குகிறது.

உறுதித் தன்மையும் முழுமைத்தன்மையும்
குவிக்சார்ட்
Hello world
மதிப்பீடு