У меня проблема с прологом, который я не понимаю. Я использовал трейсер следовать проблеме, и это то, что происходит ....
(8) 8 NEXT value(debt, p9, Orly)
(8) 8 *EXIT value(debt, p9, low)
(
У меня есть задание писать между прочим, набор предикатов пролога, которые определяют, являются ли какие-либо два бинарных дерева изоморфными друг другу. Предикат должен также иметь возможность предос
Как это сделать: Дайте хвостовое рекурсивное определение для каждого из следующих предикатов. power(X,Y,Z): XY = Z. gcd(X,Y,Z): Наибольший общий делитель X и Y равна Z. sum(L,Sum): Сумма является сумм
Я пытаюсь просто сделать условный прологе так: ((Жизнь == мертв) -> Транс = нет). Я думал, что вышеприведенный код будет оценивать, как будто Life == dead, а затем Trans = no, но по какой-то причине е
Под выравниванием Я имею в виду, что предикат занимает два списка, ну три с списком выравнивания. И затем убедитесь, что каждый элемент в списке выравнивания действительно является элементом как в дру