2212790592

3.2.3 Przebieg ćwiczenia

1.    Uruchomić interpreter języka SWI-Prolog.

2.    Zapytać: Czy 2>1*3<2?

?- 2 > 1, 3 < 2.

No

3.    Zapytać: Czy 2 > 1 lub 3 < 2?

4.    Zbadać przynależności:

(a)    x £ {a, b}

?- member(x, [a,b]).

No

(b)    x £ {a, x}

(c)    0 £ {0, a, 6}

(d)    {a, b} £ {a, b, c}

(e)    {a, b} £ {{a, 6} , b, c}

5.    Podać wszystkie elementy zbiorów:

(a)    {a,6}

?- member(X, [a,b]).

X = a;

X = b;

No

(b)    0

(c)    {0}

(d)    {{a,6},{6},6}

(^e)    {{a}, 6, {0}}

6.    Zbadać inkluzję A C B dla A = {a, {6, c}}, B = {a, {6, c} , d}:

?- A = [a, [b,c]], B = [a,[b,c],d], subset(A,B).

A = [a, [b, c]]

B = [a, [b, c] , d]

Yes

7.    Zbadać równość zbiorów A — {a, 6}, B = {6, a}.

8.    Dla zbiorów A = {a, 6, c, d}, B = {a, c, d} wyznaczyć:

(a)    AUB

?- A = [a,b,c,d], B = [a,c,d], imion(A,B,Suma) .

Suma = [b, a, c, d]

(b)    ACB

(c)    A — B

(d)    B-A

(e)    (AUB)HB

(f)    A®B

9.    Wyznaczyć A, A, B, UJ dla

U = {a, b, c, d} , A = {a, c}, B = 0.

10. Dla zbiorów

U= {1,2,3,4,5}, A = {1,2}, B = { 2,3, zbadać prawa wyłączonego środka, sprzeczności i de Morgana.