But I don't know if they still support prolog (or maybe as a plugin provided by them for the migration)