CLEANUP: Removed unused Prolog extensions.