V SLD stromu prologovského programu
p(X):- r(X). r(X):- q(X). r(a). r(b).
pro cíl ?- p(Y).

není žádná neúspěšná větev

jsou dvě úspěšné větve a jedna neúspěšná

jsou dvě neúspěšné větve a jedna úspěšná

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: