Prolog 4. Решение задачи про рыцаря, лжеца и шпиона

[@ziggafromnigga]

Рэймонд Смаллиан: Алиса в стране смекалки

[@pavelstepanov2587]

Именно так.

[@influence3015]

Извините, а как записать в файл в прологе? допустим мне надо таблицу умножения в файл записать? то как это сделать? какие команды для этого есть?

[@pavelstepanov2587]

Добрый день, надеюсь, Вы уже разобрались, но если не разобрались вот, например, мануал it.wikireading.ru/21770

[@influence3015]

@@pavelstepanov2587 спасибо большое!

[@Jheronimus_Bosch]

А есть ли решение этой задачи в примитивном Прологе, без использования aggregate_all? А то вообще непонятно, как она работает и что делает.

[@Jheronimus_Bosch]

дошло solution(A, B, C):-(solution1(A, B, C)), (solution2(A, B, C)). То есть может быть и так, и так, но истинным конечным решением будет то, при котором оба правильны из 1 и 2 и никак иначе.