Режим доказательства предиката add(X,Y,Z) при конкретизированных X,Y,Z:

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Какой из языков программирования является функциональным?
• # Исчисление называется формально непротиворечивым, если:
• # Композиция унификаторов = будет в том случае, если:
• # Использование предиката repeat языка программирования Prolog возможно только с:
• # "Зеленые" отсечения - это ...