Nejlevější větev SLD stromu prologovského programu
q(X):- p(X). p(a). p(X):- q(X).
pro cíl ?- q(Y).

je nekonečná

je úspěšná

je neúspěšná

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
139