Read-only release history for AI-Prolog