✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
¿Cuál sería la mejor definición para el predicado lógico puro resta/3 (resta(X,Y,Z)) que tiene éxito si Z es X menos Y, si X es mayor o igual que Y; y 0, en caso contrario.