Я пытаюсь сделать условное выражение в прологе так: ((Жизнь == мертв) -> Транс = нет) . Я думал,...
Я бы хотел переключиться с SWI-Prolog на Prova - но это оказалось сложнее, чем ожидалось: Предикаты...
Я пытаюсь написать простой график поиска в SWI-Prolog. Я придумал следующую программу: adjacent(1...
Как мне сгенерировать все идеальные числа от 1 до 100? Совершенное число - это положительное целое...
как мне это сделать: Дайте хвостово-рекурсивное определение для каждого из следующих предикатов....
У меня есть задание написать среди прочего набор предикатов пролога, которые определяют, изоморфны...
У меня проблема с прологом, которую я не понимаю. Я использовал трассировщик для отслеживания...
?- length(L,25). L = [_G245, _G248, _G251, _G254, _G257, _G260, _G263, _G266, _G 269|...]. Если я...
Какой элегантный способ объединить X, Y с (1,2), (1, -2), (-1,2), (-1, -2), (2,1), (2, -1), (-2,1),...
Почему это не получается L is [1,2,3,4], и это работает: L = [1,2,3]? Но L is 1 и L = 1 работают...
Я пытаюсь реализовать процедуру изменения списка в прологе. По какой-то причине происходит...
Как я могу преобразовать следующее в хвостовую рекурсивную версию. sum(void,0). sum(t(V,L,R),S) :-...
Почему это работает: power(_,0,1) :- !. power(X,Y,Z) :- Y1 is Y - 1, power(X,Y1,Z1), Z is X * Z1. И...
Что не так с моей функцией питания? pow(_,0,1). pow(X,Y,Z) :- pow(X,Y-1,X*Z). ?- pow(2,3,Z). ERROR:...
Как развернуть запрос в список? f(a,b). f(a,c). d(a.d). expand(f(a,X), Out) -----> Out=[b,c,d]
Как определить относительное правило в Прологе? Это то, что я получил до сих пор: spouce(X,Y) :-...
Я работаю над написанием простого интерпретатора Пролога на Java. Как мне найти последний...
Следующая история взята из работы Н. Вирта (1976). Алгоритмы + структуры данных = Программы. Я...
Я пытаюсь выполнить домашнее задание на основе старой песни, Я - мой собственный дедушка. Итак, я...
Почему это не работает для определения "женат" в Прологе? married(X,Y):-married(Y,X). Разрешены ли...
Я только учусь прологу. У меня есть задача впереди. Я должен вставить некоторые данные в базу...
В Прологе есть несколько специальных операторов, одним из которых является "is", однако недавно я...
pred(Args). pred(Args) :- goalA, goalB, !, pred(Args). pred(Args) :- goalC, goalD, !, pred(Args)....
Мне задали вопрос: Определить предикат упорядоченный / 1, который проверяет, находится ли список...
На днях я решал загадку в прологе и понял, что если бы я использовал другой язык программирования,...