У меня есть следующая задача: Напишите метод, который будет добавлять два полинома. То есть 0+2*x^3 и 0+1*x^3+2*x^4 дадут 0+3*x^3+2*x^4. Я также написал следующий код: add_poly(+A1*x^B1+P1,+A2*x^B2+P2,+A3*x^B3+P3):- (...

Решил задачу о размещении статей на конференции с помощью ECLiPSe. Цель такова: похожие статьи должны быть на одних и тех же сессиях. Это решение, которое работает в ECLiPSe: :- lib(fd). paper(1, 'An Empirical Study on Using Stereotypes to...

Я новичок в Прологе и хочу написать poppler(Nums, Plate, Tastiness) , который принимает список ровно из 9 чисел в качестве входных данных и, если возможно, возвращает перестановку этих чисел, которая образует восхитительную тарелку поплера, когда...

я хочу подсчитать положительные элементы в списке (VIsual Prolog). Итак, я написал эту функцию: positiveCount([], C). positiveCount([A], C) :- A > 0, C = C + 1. positiveCount([H|T], C) :- H > 0,!,C = C+1,positiveCount(T,C);...

Я пытаюсь написать решатель Shikaku в EclipsE Prolog. Мои ограничения определяются следующим образом: solve(Problemname):- writeln("Start shikaku."), problem(Problemname, Width, Height, Hints), shikaku(Width, Height, Hints). shikaku(Width,...

Вот короткий фрагмент кода, который является примером ситуации, в которой я часто оказываюсь, и который не работает так, как вы ожидаете: ?- L in 1..3, length(Ls, L). L = 1, Ls = [_G2634] ; L = 2, Ls = [_G2634, _G2637] ; L = 3, Ls = [_G2634,...

Я написал быстрый предикат на Прологе, опробовав CLP (FD) и его способность решать системы уравнений. problem(A, B) :- A-B #= 320, A #= 21*B. Когда я звоню в SWI, я получаю: ?- problem(A,B). 320+B#=A, 21*B#=A. В то время как...

У меня есть список, определенный в одной части моей программы как people([tom,betty,sue,fred,charles,chay]) Я хотел бы ограничить переменную N значениями в этом домене. Что-то типа : setup(GroupCount) :- length(Group, GroupCount),...

Я пытаюсь ознакомиться с ограничениями в Прологе, и у меня возникают проблемы с пониманием программы ниже: sudoku(Rows) :- length(Rows, 9), maplist(same_length(Rows), Rows), append(Rows, Vs), Vs ins 1..9,...