Программа CLIPS

[doris]

Здравствуйте у меня проблемка с програмой CLIPS это из курса системы искуственного интелекта мне дали задание
s1s2s3s4
+
s5s6s7s8
=
s9s2s4s9s1
короче при правильном исходе прога должна выдать ряд чисел по примеру с подходящими значениями
Не знал куда написать просто сделать срочно, а форумов с CLIPS не нашёл))) прошу извенить, кстати S нужно заменить на :
ABCD
+
EFKL
=
JBDJA
и вот решённый код от другой похожей задачи
(defrule startup
=>
(printout t t "The problem is:" t t)
(printout t " ABCD" t)
(printout t " + CFGL" t)
(printout t " --------" t) (printout t " = GGAFH" t t)
(assert (number 0) (number 1) (number 2) (number 3) (number 4) (number 5) (number 6) (number 7) (number 8)
(number 9) (letter D) (letter L) (letter H) (letter C) (letter G) (letter F) (letter B) (letter A)))

(defrule generate_combination
(number ?x)
(letter ?y)
=>
(assert (combination ?y ?x)))

(defrule find_solution
(combination D ?d)
(combination L ?l&~?d)
(combination H ?h&~?l&~?d)
(test (= (mod (+ ?d ?l) 10) ?h))
(combination C ?c&~?h&~?l&~?d&~0)
(combination G ?g&~?c&~?h&~?l&~?d&~0)
(combination F ?f&~?g&~?c&~?h&~?l&~?d)
(test (= (mod (+ ?d ?l (* 10 ?c) (* 10 ?g)) 100) (+ (* 10 ?f) ?h)))
(combination B ?b&~?f&~?g&~?c&~?h&~?l&~?d)
(combination A ?a&~?b&~?f&~?g&~?c&~?h&~?l&~?d&~0)
(test (= (mod (+ ?d ?l (* 10 ?c) (* 10 ?g) (* 100 ?b) (* 100 ?f)) 1000) (+ (* 100 ?a) (* 10 ?f) ?h)))
(test (= (mod (+ ?d ?l (* 10 ?c) (* 10 ?g) (* 100 ?b) (* 100 ?f) (* 1000 ?a) (* 1000 ?c)) 10000)
(+ (* 1000 ?g) (* 100 ?a) (* 10 ?f) ?h)))
(test (= (+ ?d ?l (* 10 ?c) (* 10 ?g) (* 100 ?b) (* 100 ?f) (* 1000 ?a) (* 1000 ?c)) (+ (* 10000 ?g) (* 1000 ?g) (* 100 ?a) (* 10 ?f) ?h)))
=>
(printout t "A Solution is:" t t)
(printout t " A = " ?a t)
(printout t " B = " ?b t)
(printout t " C = " ?c t)
(printout t " D = " ?d t)
(printout t " F = " ?f t)
(printout t " G = " ?g t)
(printout t " L = " ?l t)
(printout t " H = " ?h t)

(printout t t)
(printout t " " ?a ?b ?c ?d t)
(printout t " + " ?c ?f ?g ?l t)
(printout t " --------" t)
(printout t " = " ?g ?g ?a ?f ?h t t))

помогите сделать плззззззззз)))