✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Дано твердження в програмі пролог:
(1) transform([],[]).
(2) transform([X|Y],[X1|Y1]):-repl(X,X1),transform(Y,Y1).
Як називається твердження (1)?