Unveiling Prolog's Advanced Role in University Courses