Вверх ↑
Ответов: 632
Рейтинг: 4
#1: 2019-08-25 23:59:38 ЛС | профиль | цитата
Попробовал все варианты, которые пришли в голову. Один получился. Правда задачу поменял.
"?- mortal(sokrat).", "?-mortal(sokrat).), "?-mortal(sokrat)".
Сработал вариант "mortal(sokrat)." Возможно, я чего-то не понял.

--- Добавлено в 2019-08-26 00:18:09

flint2, не понял только, для чего нужен "clear.xpl"?
карма: 0

0
Редактировалось 1 раз(а), последний 2019-08-26 00:18:09