Определение предиката 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).
ИИ поможет Вам:
- решить любую задачу по программированию
- объяснить код
- расставить комментарии в коде
- и т.д
