Kolejnosc wyrazen w prologu

Chciałem się zapytać czy kolejność wyrazen w prologu ma znaczenie

W przypadku prostych wyrażeń zawierających wnioskowanie na podstawie bazy wiedzy kolejność nie ma znaczenia. Ale jak masz rozbudowane zawierające predykaty kontrolujące sterowanie np "!", "fail/0" "repeat/0" to wtedy możesz mieć całkiem inny rezultat. Kolejnośc predykatów w bazie wiedzy ma znaczenie bo np kobieta(X) to przeszuka ci od góry do dołu w poszukiwaniu wyrazeń które można podstawić za X, jak znajdzie pierwsze to ci wypisze i poczeka na twoją reakcje czy dane wyrażenie cie zadowala czy chcesz szukac dalej w dół bazy wiedzy.

Okej, dziekuje ;)

Kolejność wyrażeń w prologu ma duże znaczenie, chociażby ze względu na wydajność (predykaty są rozważane w kolejności w jakiej są zadeklarowane).

Czyli kolejnosc w prologu ma znaczenie w przypadku rekurencyjnych czy nierekurencyjnych wyrazen ?