Tekst źródłowy strony Paradygmaty programowania/Test 14: Programowanie w logice w Prologu II

==Test 14==

<quiz type="exclusive">
Wpisany cel C można rozumieć jako klauzulę postaci:
<rightoption reply="Dobrze">0 :- C</rightoption>
<wrongoption reply="Źle">1 :- C</wrongoption>
<wrongoption reply="Źle">C :- 0</wrongoption>
<wrongoption reply="Źle">C :- 1</wrongoption>
</quiz>

<quiz type="exclusive">
Podstawienie pod zmienne w dwóch termach, sprawiające że termy te stają się identyczne, to:
<wrongoption reply="Źle">rezolucja</wrongoption>
<wrongoption reply="Źle">term domknięty</wrongoption>
<rightoption reply="Dobrze">unifikator</rightoption>
<wrongoption reply="Źle">wspólny mianownik</wrongoption>
</quiz>

<quiz type="exclusive">
Najogólniejszy unifikator dla f([1 | X]) i f([Y, 2, 3, Z]) to:
<wrongoption reply="Źle">[X/1, Y/1, Z/[]]</wrongoption>
<wrongoption reply="Źle">[X/[2, 3], Y/1, Z/[]]</wrongoption>
<rightoption reply="Dobrze">[X/[2, 3, Z], Y/1]</rightoption>
<wrongoption reply="Źle">nie istnieje</wrongoption>
</quiz>

<quiz type="exclusive">
Wybór najogólniejszego unifikatora jest jednoznaczny z dokładnością do:
<wrongoption reply="Źle">nazw atomów</wrongoption>
<wrongoption reply="Źle">nazw funktorów</wrongoption>
<rightoption reply="Dobrze">nazw zmiennych</rightoption>
<wrongoption reply="Źle">jest bezwzględnie jednoznaczny</wrongoption>
</quiz>

<quiz type="exclusive">
Spośród unifikatorów [X/f(Y)], [X/f(g(Z)), Y/g(Z)] i [X/f(g(a)), Y/g(a)]
najogólniejszy jest:
<rightoption reply="Dobrze">[X/f(Y)]</rightoption>
<wrongoption reply="Źle">[X/f(g(Z)), Y/g(Z)]</wrongoption>
<wrongoption reply="Źle">[X/f(g(a)), Y/g(a)]</wrongoption>
<wrongoption reply="Źle">wymienione unifikatory nie są porównywalne</wrongoption>
</quiz>

<quiz type="exclusive">
Które pary termów nie dają się zunifikować?
<wrongoption reply="Źle">f(X, g(a)) i f(a, g(X))</wrongoption>
<rightoption reply="Dobrze">f(X, g(a)) i f(b, g(X))</rightoption>
<wrongoption reply="Źle">f(g(h(X))) i Y</wrongoption>
<wrongoption reply="Źle">f(X) i f(Y)</wrongoption>
</quiz>

<quiz type="exclusive">
Której klauzuli nie można użyć do wydzielenia głowy listy?
<wrongoption reply="Źle">f(X, [X | Y]).</wrongoption>
<wrongoption reply="Źle">f(X, [X | _]).</wrongoption>
<wrongoption reply="Źle">f(X, Y, [X | Y]).</wrongoption>
<rightoption reply="Dobrze">f(_, Y, [X | Y]).</rightoption>
</quiz>

<quiz type="exclusive">
Której klauzuli można użyć do sprawdzenia, że lista ma co najmniej
dwa elementy?
<wrongoption reply="Źle">f([_, _]).</wrongoption>
<wrongoption reply="Źle">f([_ | _]).</wrongoption>
<wrongoption reply="Źle">f([X, X | X]).</wrongoption>
<rightoption reply="Dobrze">f([_, _ | _]).</rightoption>
</quiz>

<quiz type="exclusive">
Lista .(.(.([], []), []), []) to w zwykłym zapisie prologowym:
<wrongoption reply="Źle">[[[]]]</wrongoption>
<rightoption reply="Dobrze">[[[[]]]]</rightoption>
<wrongoption reply="Źle">[[], []]</wrongoption>
<wrongoption reply="Źle">[[], [], []]</wrongoption>
</quiz>

<quiz type="exclusive">
Term [X | X] daje się uzgodnić:
<wrongoption reply="Źle">z dowolną niepustą listą</wrongoption>
<wrongoption reply="Źle">z listą dwuelementową o dwóch identycznych elementach</wrongoption>
<rightoption reply="Dobrze">z listą dwuelementową postaci [[Y], Y]</rightoption>
<wrongoption reply="Źle">tego termu nie da się uzgodnić z niczym</wrongoption>
</quiz>