Дано твердження в програмі пролог:
(1) transform([],[]).

(2) transform([X|Y],[X1|Y1]):-repl(X,X1),transform(Y,Y1). Як називається твердження (1)?

Question

Дано твердження в програмі пролог: 
  (1) transform([],[]).

(2) transform([X|Y],[X1|Y1]):-repl(X,X1),transform(Y,Y1). Як називається твердження (1)?

Answer

термінальна гілка

Answer

гілка співставлення

Answer

гілка уніфікації

Answer

рекурсивна гілка

Crowdly