Вопросы по теме 'eclipse-clp'

Как найти пересечение множества из двух списков с помощью языка Prolog / Eclipse?
Итак, прежде чем я начну, вот проблема: У меня есть пример List Xs = [1,2,3] и List Ys = [2,3,4]. Двумя общими элементарными элементами из этих двух списков являются [2,3]. Итак, я пытаюсь создать предикат setIntersection (Xs, Ys, Zs) , где...
320 просмотров
schedule 27.10.2023

Почему большое число отображается неполным в ECLiPSe Prolog?
Я использую последнюю версию 64-битного ECLiPSe Prolog для Windows, затем компилирую код: :- op(200, yf, !). !(N, F) :- fac(N, 1, F). fac(0, F0, F) :- !, F=F0. fac(N, F0, F) :- N1 is N-1, F1 is F0*N, fac(N1, F1, F). Введен запрос: ?- X is...
79 просмотров
schedule 22.06.2023

Избегайте переполнения findall с проблемой n-фракций
Я пытаюсь распечатать все решения проблемы n-фракций для n=4: :- lib(ic). fractions(Digits) :- Digits = [A,B,C,D,E,F,G,H,I,J,K,L], Digits #:: 1..9, ic:alldifferent(Digits), X #= 10*B+C, Y #= 10*E+F, Z #= 10*H+I, V #=...
123 просмотров
schedule 24.04.2022

Как написать запрос для тестирования следующего кода, написанного с помощью eplex Lib в ECLiPSe-CLP
Я новичок в ECLiPSe, и у меня возникла следующая проблема. когда я пишу и компилирую эту простую программу: --------------------------------- :- lib(eplex). main1(Cost, Vars) :- Vars = [A1, A2, A3, B1, B2, B3, C1, C2, C3, D1, D2, D3], Vars ::...
23 просмотров
schedule 10.12.2022