Для всех[ @Список_переменных ], если[ @условие ], то [ @Term ] => [ @Term ] ("@Название правила"), если, кроме того,[@Post_co
Submitted by admin on сб, 2007-04-21 20:00.
Тип результата:
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
w("для"),w("всех"),var(ex("new",[])),w(","),w("если"),
var(ex("new",[])),w(","),w("то"),var(ex("new",[])),w("="),w(">"),
var(ex("new",[])),w("("),var(ex("new",[])),w(")"),w(","),w("если"),
w(","),w("кроме"),w("того"),w(","),var(ex("new",[]))
Комментарий:
Введение аксиомы в виде правила переписывания с условиями
Имя операции:
new_сrwt_rule