10545

Объектно-ориeнтированное программирование в CLIPS

Следующие пять слотов представляют свойства и члены данных класса:

1.слот safety (предохранитель) может содержать символ on или off;

2.слот slide (затвор) может содержать значение forward или back, т.е. хранит информацию о положении затвора;

3.слот hammer (курок) содержит информацию о состоянии курка, back или down;

4.слот chamber (патронник) содержит значение 1 или 0, в зависимости от того, есть ли патрон

в патроннике;

5.слот magazine (обойма) может содержать значение in или out, в зависимости от того,

вставлена ли обойма;

6.слот rounds (патроны) содержит текущее количество патронов в обойме.

34

Объектно-ориeнтированное программирование в CLIPS

Для того чтобы иметь возможность записывать в слот новое значение или считывать текущее, нужно разрешить формирование соответствующих функций доступа через фацет create-accessor. Теперь

сформируем экземпляр класса pistol с помощью следующего выражения:

(definstances pistols (РРК of pistol (safety on)

(slide forward) (hammer down) (chamber 0) (magazine out) (rounds 6)

Этот экземпляр, РРК, правильно уложен — обойма вынута из рукоятки, пистолет установлен на предохранитель, затвор в переднем положении, курок опущен, а патронник пуст. В обойме имеется 6

патронов

•Теперь, имея в программе определение класса и сформировав экземпляр класса, разработаем правила и

обработчики сообщений, с помощью которых можно описать отдельные операции обращения с пистолетом и стрельбы из него. Для этого сначала разработаем шаблон задачи. Желательно отслеживать

две вещи:

•есть ли патрон в патроннике;

•произведен ли выстрел.

35

Объектно-ориeнтированное программирование в CLIPS

Для этого можно использовать следующий шаблон:

1.(deftemplate range-test

2.(field check (type SYMBOL) (default no))

3.(field fired (type SYMBOL) (default no)) )

Первое правило будет устанавливать в рабочую память программы задачу range-test.

1.(defrule start

2.(initial-fact) =>

3.(assert (range-test)) )

При активизации этого правила в рабочую память будет добавлено (range-test (check no) (fired no)) Следующие три правила будут проверять, правильно ли снаряжен пистолет.

(defrule check

1.(object (name [PPK]) (safety on) (magazine out)

2.?T <- (range-test (check no)) =>

3.(send [PPK] clear)

4.(modify ?T (check yes) )

36

Объектно-ориeнтированное программирование в CLIPS

•В следующих двух правилах обрабатываются ситуации, когда пистолет снаряжен неправильно, — не установлен на предохранитель или в него вставлена обойма. Правило correctl устанавливает пистолет на предохранитель, а правило correct2 извлекает из него обойму.

1.(defrule correctl

2.(object (name [PPK]) (safety off) )

3.(range-test (check no)) =>

4.(send [PPK] safety on)

5.)

6.(defrule correct2

7.(object (name [PPK]) (safety on) (magazine in))

8.(range-test (check no)) =>

9.(send [PPK] drop) )

10.Как и при разработке предыдущего правила, нам понадобятся обработчики сообщений safety и drop.

11.(defmessage-handler pistol safety (?on-off)

12.(dynamic-put safety ?on-off)

13.(if (eq ?on-off on)

14.then (dynamic-put hammer down)

15.) )

38

Объектно-ориeнтированное программирование в CLIPS

Обработчик сообщения safety принимает единственный аргумент, который может иметь только два символических значения on или off. В противном случае нам пришлось бы разработать два обработчика: один для сообщения saf ety-on, а другой — для сообщения safety-of f . Учтите, что в некоторых моделях, например в Walther PPK, при установке пистолета на предохранитель патронник очищается

автоматически.

Обработчик сообщения drop просто извлекает обойму из пистолета.

1.(defmessage-handler pistol drop ()

2.(dynamic-put magazine out) )

3.Теперь, когда обеспечено правильное исходное снаряжение пистолета, можно приступить к стрельбе. Следующее правило обеспечивает вставку обоймы в пистолет перед стрельбой:

4.(defrule mag-in

5.(object (name [PPK]) (safety on) (magazine out))

6.(range-test (fired no) (check yes)) =>

7.(send [PPK] seat) )

39

Объектно-ориeнтированное программирование в CLIPS

Обработчик сообщения seat выполняет действия, противоположные тем, которые выполняет

обработчик drop.

1.(defmessage-handler pistol seat ()

2.(dynamic-put magazine in) )

3.Можно было бы, конечно, включить в программу и следующее правило mag-in:

4.(defrule mag-in

5.?gun <- (object (name [PPK]) (safety on)

6.(magazine out)) (range-test (fired no) (check yes)) =>

7.(modify ?gun (magazine in) )

но это противоречит одному из принципов объектно-ориентированного программирования, который гласит, что объект должен самостоятельно обрабатывать содержащиеся в нем данные.

Следующее правило обеспечивает снаряжение обоймы патронами:

1.(defrule load

2.(object (name [PPK]) (magazine in) (chamber 0)) =>

3.(send [PPK] rack) )

40

Объектно-ориeнтированное программирование в CLIPS

На примере обработчика сообщения rack вы можете убедиться в справедливости нашего замечания о том, что обработку данных внутри объекта нужно поручать методам этого объекта, а не включать прямо в правило.

1.(defmessage-handler pistol rack ()

2.(if (> (dynamic-get rounds) 0) then (dynamic-put chamber 1)

3.(dynamic-put rounds (- (dynamic-get rounds) 1))

4.(dynamic-put slide forward) else (dynamic-put chamber 0)

5.(dynamic-put slide back)

41

Объектно-ориeнтированное программирование в CLIPS

В этом обработчике обеспечивается досылка патрона в патронник в том случае, если в обойме имеются патроны. Следующее правило подготавливает пистолет к стрельбе, снимая его с предохранителя. Обратите внимание на то, что в нем повторно используется сообщение safety, но на этот раз с аргументом off.

1.(defrule ready

2.(object (name [PPK]) (chamber 1)) =>

3.(send [PPK] safety off) )

• Правило fire выполняет стрельбу.

4.(defrule fire

5.(object (name [PPK]) (safety off);

6.?T <- (range-test (fired no)) =>

7.(if (eq (send [PPK] fire) TRUE)

8.then (modify ?T (fired yes))) )

42

Объектно-ориeнтированное программирование в CLIPS

•Обратите внимание, что в данном правиле используется обработчик сообщения, которое возвращает значение. Анализируя его, можно выяснить, произведен ли выстрел, т.е. выполнена ли в действительности та операция, которая "закреплена" за этим сообщением. Если в патроннике был патрон и пистолет был снят с предохранителя, то обработчик сообщения вернет значение TRUE (после того, как выведет на экран BANG ! ). В противном случае он вернет FALSE (после того, как выведет на экран click).

1.(def message-handler pistol fire () (if (and

2.(eq (dynamic-get chamber) 1) (eq (dynamic-get safety) off)

3.)

4.then (printout t crlf "BANG!" t crlf)

5.TRUE

6.else (printout t crlf "click" t crlf) FALSE

7.)

43