Quiz

Pytanie 2 z 80

Które z poniższych zapytań wybiera dowolną parę dwóch zupełnie dowolnych elementów (bez ograniczeń kolejnościowych z listy L:

?- append(_,[X|R],L), append(_,[Y|_],R).

?- append([X],[_|Y],L).

?- append(_,[X,Y|_],L).

?- append(_,[X|_],L), append(_,[Y|_],L).

Pytanie 3 z 80

Jakie będą wszystkie możliwe wyniki wykonania niedeterministycznego zapytania: ?- append([_|_], [X|_], [A,a,B,b,C,c]), nonvar(X). :

X=A; X=B; X=C; False

X=a; X=b; X=c; False

X=B, X=C; False

X=b; X=c; False

Pytanie 4 z 80

Jaki będzie wynik wykonania zapytania ?- functor(f(m,n,n),F, N). :

F='.' N=2

F='f' N=3

F=',' N=3

False

Pytanie 5 z 80

Która z interpretacji deklaratywnych definicji klauzuli p:-!,a,b,!,c. p:-d jest kompletna i poprawna:

p<=> (a ∧ b ∧ c) ∨ (~a ∧ d) ∨ (~c ∧ d)

p<=> (a ∧ b ∧ c)

p<=> (a ∧ b ∧ c) ∨ (~a ∧ ~c ∧ d)

p<=> (~a ∧ ~c) ∨ d

Pytanie 6 z 80

Dla następującego programu prologowego: p(1). p(2):-!. p(3):-!., które z poniższych odpowiedzi są wszystkimi rozwiązaniami dla zapytania ?- p(X),p(Y),!. :

X=1 Y=1

X=1 Y=1; X=1 Y=2; X=2 Y=1; X=2 Y=2

X=1 Y=1; X=2 Y=2

X=1 Y=1; X=1 Y=2; X=1 Y=3; X=2 Y=1; X=2 Y=2; X=2 Y=3; X=3 Y=1; X=3 Y=2; X=3 Y=3;

Pytanie 7 z 80

Dla następującego programu prologowego: p(1). p(2). p(3):-!. , które z poniższych odpowiedzi są wszystkimi rozwiązaniami dla zapytania ?- p(X),!,p(Y).

X=3 Y=1; X=3 Y=2; X=3 Y=3

X=1 Y=1

X=2 Y=1; X=2 Y=2; X=2 Y=3;

X=1 Y=1; X=1 Y=2; X=1 Y=3

X=1 Y=1; X=2 Y=2; X=3 Y=3

Pytanie 8 z 80

Jaki będzie wynik wykonania zapytania: ?- [a,[b,c]]=..[X,_,Z].

X=’.’ Z=[b,c]

X=’.’ Z=[[b,c]]

X=’|’ Z=[[b,c]]

X=’|’ Z=[b,c]

Pytanie 9 z 80

Łańcuchy znakowe (ang. string) w języku Prolog:

mają zasięg lokalny ograniczony wyłącznie do jednej reguły

zaliczane są do atomów (inaczej: stałych atomowych)

wymagają użycia ograniczników w postaci znaków apostrofu

mogą występować wyłącznie w zapytaniach albo klauzulach, będących faktami

wymagają użycia ograniczników w postaci znaków cudzysłowu

wymagają wcześniejszej deklaracji i określenia zasięgu wartości

Pytanie 10 z 80

Jaki będzie wynik wykonania zapytania ?- functor([A|[B|[C]]], F, N). :

F='|' N=3

F="," N=2

F='.' N=3

F='.' N=2

Pytanie 11 z 80

Która z interpretacji deklaratywnych klauzuli p:-a,!,b. p:-c,!,d. p:-e. jest kompletna i poprawna:

p<=>(a AND b) OR (¬a AND c AND d) OR (¬a AND ¬c AND e)

p<=>(¬a AND ¬c AND e)

p<=>(¬a AND b) OR (¬c aND d) OR e

p<=>(a and ¬b) OR (c AND ¬d) OR e

Pytanie 12 z 80

Niech abs oznacza funkcję arytmetyczną, zwracającą wartość bezwzględną liczby. Jaki będzie wynik działania zapytania ?- m([1,-3,8,-5,2,-4],X). dla definicji predykatów: m(L,X) :- member(X,L), a(X,L). a(X,L) :- L=[]; L=[H|T], abs(H)=<abs(X), a(X,T).

X = -5

X = 8

X = -4

X = 1

Pytanie 13 z 80

Jaki będzie wynik wykonania zapytania ?- N is 7, K=4, K is N-2. :

N=7 K=3

N=7 K=5

N=7 K=4

False

Pytanie 14 z 80

Mając na uwadze fakt, iż negacja w języku Prolog realizowana jest przez niepowodzenie należy dla faktów q(a,b).q(a,c). oraz reguły s(X,Y) :- not(X=Y), q(Z,X), q(Z,Y). wybrać odpowiedź będącą rezultatem zapytania ?- s(P,R). :

P=_G327 R=_G417i

P=a R=b; P=b R=c; P=a R=c; False

False

P=b R=c; P=c R=b; False

Pytanie 15 z 80

Dla definicji operatorów op(100, xfy, ^). oraz op(100, fy, ~). wyrażenie a ^ ~ b ^ c jest:

równoważne wyrażeniu: a ^ ((~ b) ^ c)

niepoprawne

równoważne wyrażeniu: a ^ ~ (b ^ c)

równoważne wyrażeniu: a ^ (~ b ^ c)

Pytanie 16 z 80

Dla następującego programu prologowego: p(N):-N=1; N=2,!; N=3,!. , które z poniższych odpowiedzi są wszystkimi rozwiązaniami dla zapytania ?- p(X),!,p(Y). :

X=1 Y=1

X=1 Y=1; X=2 Y=2

X=1 Y=1; X=1 Y=2

X=1 Y=1; X=1 Y=2; X=1 Y=3

Pytanie 17 z 80

Mając na uwadze fakt iż negacja w języku Prolog realizowana jest przez niepowodzenie należy dla reguły postaci: s(X,Y) :- not(X=Y), r(Z, X), r(Z, Y). oraz dwóch faktów: r(a, m). r(a, n). Wybrać odpowiedzi będące rezultatem zapytania: ?-s(P,R).

P=n R=n; False

P=n R=m; P=m R=n; P=n R=m; P=n R=n; False

P=n R=n; P=n, R=m; False

False

Pytanie 18 z 80

Elementy programu prologowego, które decydują o jego interpretacji proceduralnej to:

umiejscowienie odcięć w regułach

sumaryczna liczba odcięć w regułach

kolejność warunków w regułach

sumaryczna liczba reguł w programie

kolejność reguł w programie

Pytanie 19 z 80

Jaki będzie wynik wykonania zapytania ?- arg(2,[[a],[b],[c],[d]],K).:

K=[b]

K=[[b]]

False

K=[[b],[c],[d]]

Pytanie 20 z 80

Identyfikator zmiennej w języku Prolog:

jest lokalny względem zbioru klauzul o tym samym nagłówku

jest definiowany w momencie deklarowania dziedziny wartości zmiennej

jest lokalny względem pojedynczej klauzuli

ma zasięg globalny

Pytanie 21 z 80

Jaki będzie wynik wykonania zapytania ?- N is 6, K=4, K is N-2. :

N=6 K=4

N=4 K=2

N=4 K=4

False

Pytanie 22 z 80

Jaki będzie wynik wykonania zapytania ?- functor("f(n,n,n)",F,N).

F=’f’ N=3

F=’|’ N=3

False

F=’.’ N=2

Pytanie 23 z 80

Jaki będzie wynik wykonania zapytania ?- functor(X,'.',2), arg(1,X,a), arg(2,X,[b]).

X=[a,b]

X=[a,[b]]

X=[a,b,[]]

X=[a|b]

Pytanie 24 z 80

Weryfikacja rodzaju termu odbywa się w języku Prolog za pomocą następujących metapredykatów systemowych:

name

functor

atom

setof

arg

var

atomic

Pytanie 25 z 80

Predykaty użytkownika mogą być argumentami wywołania następujących metapredykatów systemowych:

repeat

call

assert

bagof

Pytanie 26 z 80

Jaki będzie wynik wykonania poniższego zapytania: ?- [X|Y]=[a,b,c,d], bagof(X#Z, append(_, [Z|_], Y), W).:

W=[a#b]; False

W=[a#b]; W=[a#c]; W=[a#d]; False

W=[a#b, b#c, c#d]; False

W=[a#b]; W=[b#c]; W=[c#d]; False

Pytanie 27 z 80

Które z poniższych zapytań zakończą się spełnieniem celu:

?- _\==_.

?- X=f(_), Y=f(_), X==Y.

?- X=Z, Y=Z, X==Y.

?- X=a, Y=a, X==Y.

Pytanie 28 z 80

Jakie będą wszystkie możliwe wyniki wykonania niedeterministycznego zapytania: ?- member(X,[a,A,b,B,c,C]), nonvar(X). :

X=a; False

X=A; X=B; X=C; False

X=a; X=b; X=c; False

False

Pytanie 29 z 80

Nagłówek w klauzuli prologowej w sensie formalnym:

może zawierać predykatu o arności 0

nie może zawierać operatorów koniunkcji i dysjunkcji (nie może ani tego ani koniunkcji, ani dysjunkcji - niejasno sformułowana odpowiedź)

nie może zawierać predykatu o arności 0

może zawierać operatory koniunkcji lub dysjunkcji

nie może zawierać negacji predykatu

może zawierać negację predykatu

może być pusty

nie może być pusty

nie może zawierać operatorów koniunkcji lub dysjunkcji

Pytanie 30 z 80

Która z interpretacji deklaratywnych definicji klauzuli p:-a,!,b,!,c. p:-d jest kompletna i poprawna:

p<=> (a ∧ b ∧ c) ∨ (~a ∧ d)

p<=> (a ∧ b ∧ c) ∨ (~a ∧ d) ∨ (~b ∧ d)

p<=> (a ∧ ~b ∧ ~c) ∨ d

p<=> (a ∧ b ∧ c) ∨ (~a ∧ ~b ∧ d)

Pytanie 31 z 80

Niech abs oznacza funkcję arytmetyczną, zwracającą wartość bezwzględną liczby. Jaki będzie wynik działania zapytania ?- m([1,-3,8,-5,2,-4],X). dla definicji predykatów: m(L,X) :- member(X,L), a(X,L). a(X,L) :- L=[]; L=[H|T], abs(H)>=abs(X), a(X,T).

X = -4

X = -5

X = 1

X = 8

Pytanie 32 z 80

Jaki będzie wynik wykonywania poniższego zapytania: ?- [X|Y] = [a,b,c,d], bagof(X+Z, append(_,[Z|_], Y), W)

W=[a+b, b+c, c+d]; False

W=[a+b]; W=[a+c]; W=[a+d]; False

W=[a+b]; W=[b+c]; W=[c+d]; False

W=[a+b]; False

Pytanie 33 z 80

Odcięcie:

powoduje, że występujące za nim cele w części warunkowej klauzuli nie są analizowane

uniemożliwia analizę wszystkich pozostałych klauzul z tym samym nagłówkiem, które znajdują się w programie poniżej klauzuli, w której odcięcie wystąpiło

uniemożliwia spełnienie celów poprzedzających je w części warunkowej klauzuli w inny, alternatywny sposób

powoduje natychmiastowe spełnienie celu, który został dopasowany do nagłówka klauzuli je zawierającej

Pytanie 34 z 80

Która z interpretacji deklaratywnych definicji klauzuli p:-!,a,b. p:-!,c,d. p:-e. jest kompletna i poprawna:

p<=>(¬a AND b) OR (¬c AND d) OR e

p<=>(a AND b) OR (c AND d) OR e

p<=>(a AND b)

p<=>(a AND b) OR (¬a AND ¬c AND e)

Pytanie 35 z 80

Jaki będzie rezultat wykonania operacji uzgodnienia ?- p(a,X,f(g(X))) = p(Z,f(Z),f(W)).

X = Z, Z = a, W = g(f).

X = f(a), Z = a, W = X.

False.

X = f(a), Z = a, W = g(f(a)).

Pytanie 36 z 80

Jaki będzie wynik działania zapytania ?- m([-1,3,-8,5,-2,1],X). dla definicji predykatów: m(L,X) :- member(X,L), a(X,L). a(X,L) :- L=[]; L=[H|T], H>=X, a(X,T).

X = -8

X = -4

X = 1

X = 5

Pytanie 37 z 80

Predykaty użytkownika mogą być argumentami wywołania następujących metapredykatów systemowych:

assert

call

bagof

not

setof

repeat

findall

Pytanie 38 z 80

Która z interpretacji deklaratywnych definicji klauzuli p:-!,a,b,!,c. p:-d. jest kompletna i poprawna:

p<=>(a AND b AND c) OR (¬a AND b AND ¬d)

p<=>(a AND b AND c)

p<=>(a AND b AND c) OR (¬a AND d) OR (¬c AND d)

p<=>(¬a AND b AND ¬c) OR d

Pytanie 39 z 80

Która z interpretacji deklaratywnych definicji klauzuli p:-!,a,b. p:-!,c,d. p:-e. jest kompletna i poprawna:

p<=> (a ∧ b)

p<=> (~a ∧ b) ∨ (~c ∧ d) ∨ e

p<=> (a ∧ b) ∨ (~a ∧ ~c ∧ e)

p<=> (a ∧ b) ∨ (c ∧ d) ∨ e

Pytanie 40 z 80

Mając na uwadze fakt iż negacja w języku Prolog realizowana jest przez niepowodzenie należy dla reguły postaci: p(A,B) :- not(A=B), f(Z,A), f(Z,B). oraz dwóch faktów: f(a,m). f(a,n). wybrać odpowiedzi będące rezultatem zapytania: ?-p(X,Y).

X=m Y=m; X=n Y=n; False

X=m Y=n; False

X=m Y=n; X=n Y=m; False

False

Pytanie 42 z 80

Jaki będzie wynik wykonania zapytania ?- arg(3,[a,b,c,d],K).:

K=[c]

K=[c,d]

False

K=c

Pytanie 43 z 80

Mając na uwadze niedeterminizm predykatu retract należy wskazać, które z poniższych odpowiedzi dla celu ?-g(X). są poprawne, jeżeli wcześniej zostały wydane zapytania ?- assertz(g(3)),assertz(g(2)),assertz(g(1)). ?- retract(g(X)). :

X=3; X=2; X=1; False

X=3; False

X=1; False

X=3; X=2; False

X=2; X=1; False

False

Pytanie 44 z 80

Jaki będzie wynik zapytania ?- N is 6, K=5, K is N-2.:

N=6 K=3

False

N=6 K=5

N=6 K=4

Pytanie 45 z 80

Jaki będzie wynik wykonania zapytania ?- arg(3,[[a],[b],[c],[d]],K).:

K=c

K=[[c],[d]]

K=[c]

False

Pytanie 46 z 80

Która z interpretacji deklaratywnych klauzuli Mieścińskiego p:-!,a,b. p:-c,!,d. p:-e. jest kompletna i poprawna: (?)

p<=>(a AND b) OR (¬a AND c AND e)

p<=>¬(a AND b) OR (c AND ¬d) OR e

p<=>(¬a AND b) OR (c ANd ¬d) OR e

p<=>(a AND b)

Pytanie 47 z 80

Która z interpretacji deklaratywnych definicji klauzuli p:-a,!,b. p:-!,c,d. p:-e. jest kompletna i poprawna:

p<=>(a AND b) OR (¬a AND c AND d)

p<=>(a AND ¬b) OR (¬c AND d) OR e

p<=>(¬a AND e)

p<=>(¬a AND b) OR (c AND d) OR e

Pytanie 48 z 80

Do rodziny predykatów, umożliwiających automatyczną generację (w postaci listy) wszystkich rozwiązań celu, uzyskiwanych w drodze nawrotów zaliczamy następujące metapredykaty systemowe:

findall

bagof

call

forall

setof

repeat

assert

Pytanie 49 z 80

Która z interpretacji deklaratywnych klauzuli Mieścińskiego p:-a,!,b,!,c. p:-d. jest kompletna i poprawna:

p<=>(a AND ¬b AND ¬c) OR d

p<=>(a AND b AND c) OR (¬a AND d)

p<=>(a AND b AND c) OR (¬a AND d) OR (¬b AND d)

p<=>(a AND b AND c) OR (¬a AND ¬b AND d)

Pytanie 50 z 80

Niech abs oznacza funkcję arytmetyczną, zwracającą wartość bezwzględną liczby. Jaki będzie wynik działania zapytania ?- m([-1,3,-8,5,-2,1],X). dla definicji predykatów: m(L,X) :- member(X,L), a(X,L). a(X,L) :- L=[]; L=[H|T], abs(H)=<abs(X), a(X,T).

X = -1

X = 1

X = 5

X = -8

Pytanie 52 z 80

Jaki będzie wynik wykonania zapytania ?- functor(X, '.', 2), arg(1,X,[a]), arg(2,X,[[b]]).

X=[a,b]

X=[a,b,[]]

X=[a,b]

X=[[a],[b]]

Pytanie 53 z 80

Stałe symboliczne w języku Prolog:

mają zasięg lokalny ograniczony do jednej reguły

mogą występować wyłącznie w klauzulach będących faktami

mają charakter globalny

wymagają wcześniejszej deklaracji i określenia zasięgu wartości

Pytanie 54 z 80

Jakie będą wszystkie możliwe wyniki wykonania zapytania: ?- append([_|_], [X|_], [A,a,B,b,C,c]), var(X).

X=A; X=B; X=C; False

X=a; X=b; X=c; False

X=B; X=C; False

X=b; X=c; False

Pytanie 55 z 80

Dla następującego programu prologowego: p(N):-N=1; N=2; N=3, !. , które z poniższych odpowiedzi są wszystkimi rozwiązaniami dla zapytania ?- !, p(X), p(Y). :

X=1 Y=1; X=1 Y=2; X=1 Y=3; X=2 Y=1; X=2 Y=2; X=2 Y=3; X=3 Y=1; X=3 Y=2; X=3 Y=3;

X=1 Y=1; X=1 Y=2; X=1 Y=3

X=1 Y=1; X=2 Y=2; X=3 Y=3

X=1 Y=1

Pytanie 56 z 80

Dla definicji operatorów op(100,xfy,#). oraz op(100,fy,@). wyrażenie a # @ b # c jest:

niepoprawne

równoważne wyrażeniu: a # (@ b # c)

równoważne wyrażeniu: a # ((@ b) # c)

równoważne wyrażeniu: a # @ (b # c)

Pytanie 57 z 80

Do grupy predykatów dekompozycji wyrażeń języka Prolog zaliczamy następujące metapredykaty systemowe:

findall

arg

call

assert

Pytanie 58 z 80

Stałe Symboliczne w języku Prolog

mają zasięg ograniczony wyłącznie do zbioru klauzul o tym samym nagłówku

mają charakter globalnych obiektów języka

mogą występować wyłącznie w zapytaniach albo w klauzulach, będących faktami

mają zasięg lokalny ograniczony wyłącznie do jednej reguły

Pytanie 59 z 80

Jaki będzie wynik wykonania poniższego zapytania: ?- [X|Y]=[d,d,c,b,b,a], setof(Z^X, member(Z,Y), W).:

W=[a^d, b^d, c^d, d^d]; False

W=[a^d, b^d, b^d, c^d, d^d, d^d]; False

W=[a^d]; W=[b^d]; W=[b^d]; W=[c^d]; W=[d^d]; W=[d^d]; False

W=[a^d]; W=[b^d]; W=[c^d]; W=[d^d]; False

Pytanie 60 z 80

Dla definicji operatorów op(100, xfy, #). oraz op(55, xf, ~). wyrażenie a # b ~ # c jest:

równoważne wyrażeniu (a # b) ~ # c

niepoprawne

równoważne wyrażeniu (a # b ~) # c

równoważne wyrażeniu a # (b ~) # c

Pytanie 61 z 80

Jaki będzie wynik wykonania poniższego zapytania: ?- [X|Y]=[d,d,c,b,b,a], bagof(Z^X, member(Z,Y), W).:

W=[d^d]; W=[c^d]; W=[b^d]; W=[b^d]; W=[a^d]; False

W=[d^d]; W=[d^d]; W=[c^d]; W=[b^d]; W=[b^d]; W=[a^d]; False

W=[d^d,c^d,b^d,a^d]; False

W=[d^d,c^d,b^d,b^d,a^d]; False

Pytanie 62 z 80

Jaki będzie wynik zapytania ?- K=4, N=K, N is K-2. :

False

K=4 N=4

K=4 N=2

K=2 N=2

Pytanie 63 z 80

Jaki będzie wynik wykonania zapytania ?- [a,[b,c]] =.. [_, X, Y]

X=a Y=[[b,c]]

X=a Y=[b,c]

X=[a] Y=[b,c]

X=[] Y=[a,[b,c]]

Pytanie 64 z 80

Dla następującego programu prologowego: p(1):-!. p(2):-!. p(3). ,które z poniższych odpowiedzi są wszystkimi rozwiązaniami zapytania ?- p(X),!,p(Y).:

X=1 Y=1

X=1 Y=1; X=1 Y=2; X=1 Y=3

X=1 Y=1; X=1 Y=2

X=1 Y=1; X=2 Y=2

Pytanie 65 z 80

Jaki będzie rezultat wykonania operacji uzgadniania: ?- n(k,Y,g(h(Y)),h(Y))=n(W,p(W),g(X),h(p(W))).

False

X=h(p(k)) W=k Y=p(k)

X=h(k) W=k Y=h(p(k))

X=h(p(k)) W=k Y=X

Pytanie 66 z 80

Atomy w języku Prolog:

mają charakter globalnych obiektów języka

mogą występować wyłącznie w zapytaniach albo w klauzulach będących faktami

wymagają wcześniejszej deklaracji i określenia zasięgu wartości

obejmują stałe symboliczne oraz łańcuchy znakowe

mają zasięg lokalny ograniczony wyłącznie do jednej reguły

Pytanie 67 z 80

Jaki będzie wynik wykonania zapytania ?- arg(2,[a,b,c,d],K).:

K=[b,c,d]

K=[b]

False

K=b

Pytanie 68 z 80

Mając na uwadze niedeterminizm predykatu retract należy wskazać, które z poniższych odpowiedzi dla celu ?-g(X). są poprawne, jeżeli wcześniej zostały wydane zapytania ?- assertz(g(1)),assertz(g(2)),assertz(g(3)). ?- retract(g(X)). :

X=1; X=2; X=3; False

False

X=1; False

X=1; X=2; False

Pytanie 69 z 80

Dla następującego programu prologowego: p(1). p(2):-!. p(3):-!. , które z poniższych odpowiedzi są wszystkimi rozwiązaniami dla zapytania ?- p(X),p(Y),!.

X=1 Y=1; X=1 Y=2; X=1 Y=3;

X=3 Y=1; X=3 Y=2; X=3 Y=3

X=2 Y=1; X=2 Y=2; X=2 Y=3;

X=1 Y=1; X=1 Y=2

X=1 Y=1; X=1 Y=2; X=2 Y=1; X=2 Y=2

X=1 Y=1

Pytanie 70 z 80

Dla definicji operatorów op(100,xfx,^). oraz op(100,fy,~). Wyrażenie a ^ b ~ b ^ c jest:

równoważne wyrażeniu: a^ (~b ^ c)

równoważne wyrażeniu: a^ ((~b) ^ c)

równoważne wyrażeniu: a^ ~ (b ^ c)

niepoprawne

Pytanie 71 z 80

Jaki będzie wynik zapytania: ?- functor(X,'.',2), arg(1,X,a), arg(2,X,[b]) :

X=[a,[b]]

X=[a,b]

X=[a|b]

X=[a,b,[]]

Pytanie 72 z 80

Wartości zmiennych w języku Prolog

są lokalne względem jednej instancji klauzuli

muszą być zgodne ze zdefiniowanym wcześniej typem wartości

mają charakter globalny

są ustalane w procesie unifikacji

Pytanie 73 z 80

Mając na uwadze niedeterminizm predykatu retract należy wskazać, które z poniższych odpowiedzi dla celu ?-g(X). są poprawne, jeżeli wcześniej zostały wydane zapytania: ?- assertz(g(1)),assertz(g(2)),assertz(g(3)). ?- retract(g(X)).

False

X=2; X=3; False

X=1; X=2; X=3; False

X=3; False

Pytanie 74 z 80

Dla następującego programu prologowego: p(N):-N=1; N=2, !; N=3, !. , które z poniższych odpowiedzi są wszystkimi rozwiązaniami dla zapytania ?- !, p(X), p(Y). :

X=1 Y=1; X=1 Y=2; X=2 Y=1; X=2 Y=2

X=1 Y=1

X=1 Y=1; X=2 Y=2

X=1 Y=1; X=1 Y=2; X=1 Y=3; X=2 Y=1; X=2 Y=2; X=2 Y=3; X=3 Y=1; X=3 Y=2; X=3 Y=3;

Pytanie 75 z 80

Dla definicji operatorów op(100, xfy, #). oraz op(50, xf, @). wyrażenie a # b @ # c jest"

równoważne wyrażeniu: a # ((b @) # c)

równoważne wyrażeniu: (a # b) @ # c)

niepoprawne

równoważne wyrażeniu: (a # b @) # c)

Pytanie 76 z 80

Jakie będą wszystkie możliwe wyniki wykonania niedeterministycznego zapytania: ?- append([_|_], [X|_], [A,a,B,b,C,c]), var(X). :

X=B, X=C; False

X=b; X=c; False

X=A; X=B; X=C; False

X=a; X=b; X=c; False

Pytanie 77 z 80

Dla definicji operatorów op(100, xfy, ^). oraz op(50, fy, ~). wyrażenie a ^ ~ b ^ c jest:

równoważne wyrażeniu: a ^ ~ (b ^ c)

niepoprawne

równoważne wyrażeniu: a ^ (~ b ^ c)

równoważne wyrażeniu: a ^ ((~ b) ^ c)

Pytanie 78 z 80

Dla następującego programu prologowego: p(1). p(2). p(3):-!., które z poniższych odpowiedzi są wszystkimi rozwiązaniami dla zapytania ?- p(X),!,p(Y). :

X=1 Y=1

X=1 Y=1; X=1 Y=2; X=1 Y=3; X=2 Y=1; X=2 Y=2; X=2 Y=3; X=3 Y=1; X=3 Y=2; X=3 Y=3;

X=1 Y=1; X=1 Y=2; X=1 Y=3

X=1 Y=1; X=1 Y=2

Pytanie 79 z 80

Wartości zmiennej w języku Prolog:

mają charakter globalny

są ustalane w procesie unifikacji (uzgadniania)

są lokalne względem jednej instancji klauzuli

muszą być zgodne z zadeklarowanym wcześniej typem wartości

Losowa kolejność Reset Start

Korzystanie z serwisu wiąże się z akceptacją regulaminu

Pytanie 1 z 80

Pytanie 2 z 80

Pytanie 3 z 80

Pytanie 4 z 80

Pytanie 5 z 80

Pytanie 6 z 80

Pytanie 7 z 80

Pytanie 8 z 80

Pytanie 9 z 80

Pytanie 10 z 80

Pytanie 11 z 80

Pytanie 12 z 80

Pytanie 13 z 80

Pytanie 14 z 80

Pytanie 15 z 80

Pytanie 16 z 80

Pytanie 17 z 80

Pytanie 18 z 80

Pytanie 19 z 80

Pytanie 20 z 80

Pytanie 21 z 80

Pytanie 22 z 80

Pytanie 23 z 80

Pytanie 24 z 80

Pytanie 25 z 80

Pytanie 26 z 80

Pytanie 27 z 80

Pytanie 28 z 80

Pytanie 29 z 80

Pytanie 30 z 80

Pytanie 31 z 80

Pytanie 32 z 80

Pytanie 33 z 80

Pytanie 34 z 80

Pytanie 35 z 80

Pytanie 36 z 80

Pytanie 37 z 80

Pytanie 38 z 80

Pytanie 39 z 80

Pytanie 40 z 80

Pytanie 41 z 80

Pytanie 42 z 80

Pytanie 43 z 80

Pytanie 44 z 80

Pytanie 45 z 80

Pytanie 46 z 80

Pytanie 47 z 80

Pytanie 48 z 80

Pytanie 49 z 80

Pytanie 50 z 80

Pytanie 51 z 80

Pytanie 52 z 80

Pytanie 53 z 80

Pytanie 54 z 80

Pytanie 55 z 80

Pytanie 56 z 80

Pytanie 57 z 80

Pytanie 58 z 80

Pytanie 59 z 80

Pytanie 60 z 80

Pytanie 61 z 80

Pytanie 62 z 80

Pytanie 63 z 80

Pytanie 64 z 80

Pytanie 65 z 80

Pytanie 66 z 80

Pytanie 67 z 80

Pytanie 68 z 80

Pytanie 69 z 80

Pytanie 70 z 80

Pytanie 71 z 80

Pytanie 72 z 80

Pytanie 73 z 80

Pytanie 74 z 80

Pytanie 75 z 80

Pytanie 76 z 80

Pytanie 77 z 80

Pytanie 78 z 80

Pytanie 79 z 80

Pytanie 80 z 80