Какой язык программирования использовался в листинге программы?

(defun MODEL (/MOD_BASE coals hypothesis l_base facts l_coals tf_coals m)

; механизм вывода

(defun proof (hypothesis / RULES RULE L_RULES I TF_RULES J CONDS L_CONDS TF_CONDS K ANSWER)

(if (member 'hypothesis '(facts t))

(progn (setq rules () L_rules 0 I 0)

(repeat L_base

(setq rule (nth I MOD_BASE))

(if (equal hypothesis (car (nth I rule)))

(setq rules (cons rule rules)))

)

(setq I (1+ I))

(cond (rules (setq L_rules (length rules) TF_rules nil J -1)

(while (and(<=(1+ J)) (1- L_rules)) (not TF_rules))

(setq J (1+ J))

(setq rule (nth J rules) conds (nth 0 rule))

(setq L_conds (length conds) TF_conds t K -1)

(setq TF_rules

(or TF_rules

(repeat L_conds

(setq K (1+ K))

(setq TF_conds

(and TF_conds

(proof (nth K conds))

)

)

)

)

)

)

)

(t (initget I "y n")

(setq answer (getkword (apply 'strcat

'("\n" hypothesis

"?(y or n)"

)

)

)

)

(if (= answer "y")

(progn (setq facts (cons hypothesis facts)) t)

nil

)

)

)

)

)

)

(progn)

)