Quiz

Pytanie 1 z 98

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). :

False

P=_G327 R=_G417i

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

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

Pytanie 2 z 98

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

kolejność reguł w programie

sumaryczna liczba odcięć w regułach

kolejność warunków w regułach

umiejscowienie odcięć w regułach

sumaryczna liczba reguł w programie

Pytanie 3 z 98

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

name

functor

atom

setof

var

arg

atomic

Pytanie 4 z 98

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:

repeat

bagof

forall

findall

setof

call

assert

Pytanie 5 z 98

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

repeat

bagof

setof

findall

assert

not

call

Pytanie 7 z 98

Nagłówek w klauzuli prologowej w sensie formalnym:

może zawierać negację predykatu

nie może zawierać negacji predykatu

może zawierać operatory koniunkcji lub dysjunkcji

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ć operatorów koniunkcji lub dysjunkcji

może zawierać predykatu o arności 0

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

może być pusty

nie może być pusty

Pytanie 8 z 98

Odcięcie:

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

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

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

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

Pytanie 9 z 98

Przetwarzanie składowych złożonych struktur danych (reprezentowanych w języku Prolog za pomocą zagnieżdżonych termów) realizowane jest z wykorzystaniem następujących operatorów i metapredykatów systemowych:

call

atomic

assert

=..

var

arg

setof

functor

Pytanie 11 z 98

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=n; P=n, R=m; False

False

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

Pytanie 12 z 98

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

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

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

False.

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

Pytanie 13 z 98

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 14 z 98

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

call

assert

arg

findall

Pytanie 15 z 98

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

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

False

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

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

Pytanie 16 z 98

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

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

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

X=a Y=[b,c]

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

Pytanie 17 z 98

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 18 z 98

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

F='.' N=2

F='|' N=3

F="," N=2

F='.' N=3

Pytanie 19 z 98

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

F='.' N=2

F='f' N=3

False

F=',' N=3

Pytanie 20 z 98

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

K=[b]

False

K=[b,c,d]

K=b

Pytanie 21 z 98

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

K=[c,d]

False

K=[c]

K=c

Pytanie 22 z 98

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

False

K=[[b]]

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

K=[b]

Pytanie 23 z 98

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

False

K=c

K=[c]

K=[[c],[d]]

Pytanie 24 z 98

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 25 z 98

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

N=5 K=5

N=7 K=5

N=7 K=3

False

Pytanie 26 z 98

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

N=6 K=3

False

N=6 K=4

N=6 K=5

Pytanie 27 z 98

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

K=2 N=2

K=4 N=2

False

K=4 N=4

Pytanie 28 z 98

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

N=7 K=3

N=7 K=4

N=7 K=5

False

Pytanie 29 z 98

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

p<=>(a AND b)

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

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

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

Pytanie 30 z 98

Która z interpretacji deklaratywnych 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) OR (¬a AND c AND d) OR (¬a AND ¬c AND e)

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

Pytanie 31 z 98

Która z interpretacji deklaratywnych klauzuli 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) OR (¬b AND d)

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

p<=>(a ANd b AND c)

Pytanie 32 z 98

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 e)

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

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

Pytanie 33 z 98

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 (¬a AND d)

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

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

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

Pytanie 34 z 98

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)

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

Pytanie 35 z 98

Która z interpretacji deklaratywnych definicji klauzuli 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) OR (¬c AND d)

p<=>(a AND b AND c)

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

Pytanie 36 z 98

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 37 z 98

Dla definicji operatorów op(100, xfy, ^). oraz op(50, 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 38 z 98

Dla definicji operatorów op(100, xfy, #). oraz op(50, xf, @). 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 39 z 98

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 40 z 98

Dla definicji operatorów op(100,xfx,^). 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)

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

niepoprawne

Pytanie 41 z 98

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 42 z 98

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

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

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

niepoprawne

Pytanie 43 z 98

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

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

X=a; False

False

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

Pytanie 44 z 98

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

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

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

False

X=a; False

Pytanie 45 z 98

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 46 z 98

Jakie będą wszystkie możliwe wyniki wykonania niedeterministycznego zapytania: ?- append([_|_], [X|_], [A,a,B,b,C,c]), nonvar(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 47 z 98

Które z poniższych zapytań wybiera dowolną parę w dowolnej kolejności dwóch nie tych samych elementów z listy L:

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

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

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

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

Pytanie 48 z 98

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|_],L), append(_,[Y|_],L).

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

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

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

Pytanie 49 z 98

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 = 8

X = 1

Pytanie 50 z 98

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 = 8

X = 1

Pytanie 51 z 98

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 = -8

X = -1

X = 5

X = 1

Pytanie 52 z 98

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 = -8

X = -1

X = 5

X = 1

Pytanie 53 z 98

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 = -4

X = 5

X = -8

X = 1

Pytanie 54 z 98

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 ?- asserta(g(3)),asserta(g(2)),asserta(g(1)). ?- retract(g(X)). :

X=2; X=3; False

X=3; False

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

False

Pytanie 55 z 98

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; False

X=3; False

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

False

X=2; X=1; False

X=1; False

Pytanie 56 z 98

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 ?- asserta(g(1)),asserta(g(2)),asserta(g(3)). ?- retract(g(X)). :

X=3; X=2; False

X=3; False

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

False

Pytanie 57 z 98

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; False

X=1; False

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

False

Pytanie 60 z 98

Stałe Symboliczne w języku Prolog

mają charakter globalnych obiektów języka

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

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

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

Pytanie 61 z 98

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

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

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

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

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

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

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

Pytanie 62 z 98

Identyfikator zmiennej w języku Prolog:

ma zasięg globalny

jest lokalny względem pojedynczej klauzuli

jest definiowany w momencie deklarowania dziedziny wartości zmiennej

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

Pytanie 63 z 98

Wartości zmiennej w języku Prolog:

są lokalne względem jednej instancji klauzuli

mają charakter globalny

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

są ustalane w procesie unifikacji (uzgadniania)

Pytanie 64 z 98

Atomy w języku Prolog:

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

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

mają charakter globalnych obiektów języka

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

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

Pytanie 65 z 98

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,c^d,b^d,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,b^d,a^d]; False

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

Pytanie 66 z 98

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]; W=[b^d]; W=[c^d]; W=[d^d]; False

W=[a^d, b^d, c^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, b^d, b^d, c^d, d^d, d^d]; False

Pytanie 67 z 98

Jaki będzie wynik wykonania 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=[b#c]; W=[c#d]; False

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

W=[a#b]; False

Pytanie 68 z 98

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

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

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

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

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

Pytanie 69 z 98

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

W=[a^b, c^d]

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

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

W=[a^a, a^b, a^c]

Pytanie 70 z 98

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 71 z 98

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=1 Y=1; X=1 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 72 z 98

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=2 Y=1; X=2 Y=2

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

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=2 Y=1; X=2 Y=2

Pytanie 73 z 98

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=1 Y=2; X=1 Y=3

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=2 Y=2; X=3 Y=3

Pytanie 74 z 98

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=2 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 98

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=2 Y=2

X=1 Y=1

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

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

Pytanie 77 z 98

Do ewaluacji wyrażenia będącego terminem złożonym z funktorem arytmetycznym dochodzi kiedy użyjemy operatora:

=

<

=\=

==

=:=

is

Pytanie 78 z 98

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

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

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

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

p<=> (a ∧ b)

Pytanie 79 z 98

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=1 Y=1; X=2 Y=2; X=3 Y=3

X=1 Y=1

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 80 z 98

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

functor

var

setof

atomic

Pytanie 81 z 98

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

repeat

call

assert

bagof

Pytanie 82 z 98

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

X=a; False

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

False

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

Pytanie 83 z 98

Stałe symboliczne w języku Prolog:

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

mają charakter globalny

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

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

Pytanie 84 z 98

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 85 z 98

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: ?- asserta(g(1)),asserta(g(2)),asserta(g(3)). ?- retract(g(X)).

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

X=2; X=1; False

X=1; False

False

Pytanie 86 z 98

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

X=2; X=3; False

X=3; False

False

Pytanie 87 z 98

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

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

p<=> (a ∧ b ∧ c)

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

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

Pytanie 88 z 98

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=1 Y=1; X=2 Y=2; X=3 Y=3

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

Pytanie 89 z 98

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=n; False

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

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

False

Pytanie 90 z 98

Wartości zmiennych w języku Prolog

są ustalane w procesie unifikacji

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

mają charakter globalny

są lokalne względem jednej instancji klauzuli

Pytanie 91 z 98

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

F=’f’ N=3

F=’|’ N=3

F=’.’ N=2

False

Pytanie 92 z 98

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=2

X=1 Y=1; X=1 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 93 z 98

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

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

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

?- _\==_.

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

Pytanie 94 z 98

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=1

X=1 Y=1; X=1 Y=2; X=2 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 95 z 98

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 ∧ ~b ∧ d)

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

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

Pytanie 96 z 98

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

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

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

W=[a+b]; False

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

Pytanie 97 z 98

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

X=b; X=c; False

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

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

X=B; X=C; False

Pytanie 98 z 98

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]

Losowa kolejność Reset Start

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

Pytanie 1 z 98

Pytanie 2 z 98

Pytanie 3 z 98

Pytanie 4 z 98

Pytanie 5 z 98

Pytanie 6 z 98

Pytanie 7 z 98

Pytanie 8 z 98

Pytanie 9 z 98

Pytanie 10 z 98

Pytanie 11 z 98

Pytanie 12 z 98

Pytanie 13 z 98

Pytanie 14 z 98

Pytanie 15 z 98

Pytanie 16 z 98

Pytanie 17 z 98

Pytanie 18 z 98

Pytanie 19 z 98

Pytanie 20 z 98

Pytanie 21 z 98

Pytanie 22 z 98

Pytanie 23 z 98

Pytanie 24 z 98

Pytanie 25 z 98

Pytanie 26 z 98

Pytanie 27 z 98

Pytanie 28 z 98

Pytanie 29 z 98

Pytanie 30 z 98

Pytanie 31 z 98

Pytanie 32 z 98

Pytanie 33 z 98

Pytanie 34 z 98

Pytanie 35 z 98

Pytanie 36 z 98

Pytanie 37 z 98

Pytanie 38 z 98

Pytanie 39 z 98

Pytanie 40 z 98

Pytanie 41 z 98

Pytanie 42 z 98

Pytanie 43 z 98

Pytanie 44 z 98

Pytanie 45 z 98

Pytanie 46 z 98

Pytanie 47 z 98

Pytanie 48 z 98

Pytanie 49 z 98

Pytanie 50 z 98

Pytanie 51 z 98

Pytanie 52 z 98

Pytanie 53 z 98

Pytanie 54 z 98

Pytanie 55 z 98

Pytanie 56 z 98

Pytanie 57 z 98

Pytanie 58 z 98

Pytanie 59 z 98

Pytanie 60 z 98

Pytanie 61 z 98

Pytanie 62 z 98

Pytanie 63 z 98

Pytanie 64 z 98

Pytanie 65 z 98

Pytanie 66 z 98

Pytanie 67 z 98

Pytanie 68 z 98

Pytanie 69 z 98

Pytanie 70 z 98

Pytanie 71 z 98

Pytanie 72 z 98

Pytanie 73 z 98

Pytanie 74 z 98

Pytanie 75 z 98

Pytanie 76 z 98

Pytanie 77 z 98

Pytanie 78 z 98

Pytanie 79 z 98

Pytanie 80 z 98