https://www.ohrid-prolog.com/?lang=en apparently they are online available too.