Проверил: на БК-0010 с контроллером СМК работает даже чтение и запись на диск.
На БК-0011 не запускается, надо писать отдельный загрузчик. Нужно это кому-нибудь? Запускать Пролог на БК-0011М с СМК.
И да, если кому попадётся документация - киньте плиз.