Без заголовка

Очень соглашусь насчет "было бы что выводить". В прологе машина вывода простенькая, но и для нее задачу точно бывает трудно записать. А для "сверхэффективной машины" задачки должны быть не простые.