பல்வேறு திசைகளில் ப்ரோலாக்கிலிருந்து நீட்டிக்கப்பட்ட தர்க்க நிரலாக்க திறன்களுக்கு பல்வேறு செயல்படுத்தல்கள் உருவாக்கப்பட்டன. அவை, கட்டுப்பாட்டு தர்க்க நிரலாக்கம் (CLP), இலக்குப்பொருள்-ஒருங்கமைக்கப்பட்ட தர்க்க நிரலாக்கம் (OOLP), ஒருங்கிணைவு, நேரியல் தர்க்கம் (LLP), செயல்பாடு மற்றும் உயர்-வரிசை தர்க்க நிரலாக்கத் திறன்கள், அறிவு அடிப்படையுடன் நேர்மறை இயங்குதிறன் உள்ளிட்டவை:

தொகுதிக்கூறுகள்
அட்டவணையாக்கம்
சொற்றொடர் இலக்கணம் & சொற்பொருள்
நீட்டிப்புகள்