 |
|||
| HSG |
|
Listen, die kein Element mehrfach enthalten, können als Mengen aufgefasst werden.
Anwendung einiger Systemprädikate
?- is_set([a,b,a,d]). No ?- list_to_set([a,b,a,d],M). M = [a, b, d] ; No ?- is_set([a,b,d]). Yes ?- intersection([a,b,d],[a,e,f,d],M). M = [a, d] ; No ?- union([a,b,d],[a,e,f,d],M). M = [b, a, e, f, d] ; No ?- subtract([a,b,d],[a,e,f,d],M). M = [b] ; No ?- subset([a,b,d],[a,e,f,d]). No ?- subset([a,d],[a,e,f,d]). Yes ?-