Prolog	Installation Materialien Berechnungskonzept Listen Mengen globale Variablen Datenbanken Arithmetik Graphen Cut failure-driven-loop Akkumulator Grafik rapid prototyping Logik Rätsel Grammatik Glossar Pfad: Startseite / Fächer / Informatik / Material / Prolog / Mengen
Autor: mk 10.02.2012 14:30:01 2681	Mengen

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
?-