Вопросы по теме '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