Определение предиката subset - Prolog
Формулировка задачи:
Всем привет!
Буду благодарна за помощь в определении предиката subset(S1,S2), который будет работать, когда множество S1 является подмножеством S2. Использую Visual Prolog.
Спасибо!
Решение задачи: «Определение предиката subset»
textual
Листинг программы
domains int=integer intl=int* predicates memb(int,intl) subset(intl,intl) clauses memb(_,[]) :- fail. memb(H,[H|_]) :- !. memb(H,[_|T]) :- memb(H,T). subset([],_). subset([H|T],Z) :- memb(H,Z), subset(T,Z).
ИИ поможет Вам:
- решить любую задачу по программированию
- объяснить код
- расставить комментарии в коде
- и т.д