Добавил:
shaaydar
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Логическое программирование (Prolog) / Практика 2 / код Вычитание множества
.txt domains
list=integer*
predicates
nondeterm member(integer, list)
nondeterm sub(list, list, list)
clauses
member(X,[X|_]).
member(X,[_|Y]):- member(X,Y).
sub([], _, []):- !.
sub([X|Xs], Y, Z):- member(X, Y), !, sub(Xs, Y, Z).
sub([X|Xs], Y, [X|Zs]):- sub(Xs, Y, Zs).
goal
sub([1,2,3,4], [3,4,5,6], Result).
list=integer*
predicates
nondeterm member(integer, list)
nondeterm sub(list, list, list)
clauses
member(X,[X|_]).
member(X,[_|Y]):- member(X,Y).
sub([], _, []):- !.
sub([X|Xs], Y, Z):- member(X, Y), !, sub(Xs, Y, Z).
sub([X|Xs], Y, [X|Zs]):- sub(Xs, Y, Zs).
goal
sub([1,2,3,4], [3,4,5,6], Result).
Соседние файлы в папке Практика 2