ஆய்வு மற்றும் கல்வியில் புரோலாக் பொதுவாக உபயோகிக்கப்பட்டாலும், புரோலாக் மற்றும் மற்ற தர்க்க நிரலாக்க மொழிகள் கணிப்பொறி துறையில் பொதுவான விளைவை உருவாக்க இயலவில்லை. தொழிலக தரங்களுக்கு சில செயலிகள் குறைவாக இருந்தாலும் ஒரு சில நெறிமுறைகள் 100,000 வரிகளுக்கு அதிகமாக இருக்கும். பெரிய அளவிலான நிரலாக்கமானது தொகுதிக்கூறுகளை ஆதரிக்கும் அனைத்து புரோலாக் தொகுப்பிகளாலும் சிக்கலானதல்ல, மேலும் பெரிய புரோலாக் தொகுப்பிகளின் தொகுதிக்கூறு முறைமைகளிடையே இணக்கத்தன்மை சிக்கல்கள் உள்ளன.

புரோலாகில் உருவாக்கப்பட்ட மென்பொருள், செயல்திறன் தண்டனை கொடுப்பதாக விமர்சிக்கப்பட்டது, ஆனால் மேம்பட்ட செயல்படுத்தல் இந்த விவாதங்களில் சிலவற்றை இல்லாமல் செய்துவிட்டது.

விமர்சனம்
புறம்பாக்கல்
பாகுபடுத்தி எடுத்துக்காட்டு
அட்டவணையாக்கம்