Правила. использование условных элементов в записи правил

Основные сведения

Одним из основных методов представления знаний в CLIPS являются правила. Правила используются для представления эвристик, определяющих ряд действий, которые необходимо выполнить в определенной ситуации. Разработчик программы определяет совокупность правил, которые используются совместно для решения проблемы.

Для задания правил используется конструкция defrule со следующим синтаксисом:

(defrule <имя_правила> ["<комментарий>"]

<условный элемент>*; Левая часть правила (антецедент)

=>

<действие>*); Правая часть правила (консеквент)

Левая часть правила представляет собой ряд условий (условных элементов), которые должны выполняться, чтобы правило было применимо. В CLIPS принято считать, что условие выполняется, если соответствующий ему факт присутствует в списке фактов.

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

Процесс сопоставления фактов и образцов выполняется блоком вывода CLIPS, который автоматически сопоставляет образцы, исходя из текущего состояния списка фактов, и определяет, какие из правил являются применимыми. Если все условия правила выполняются, то оно активируется и помещается в список активированных правил, который является планом решения задачи и называется агендой.

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

Действия, описанные в выбранном правиле, выполняются (при этом список применимых правил может измениться), а затем блок вывода выбирает другое правило и т.д. Этот процесс продолжается до тех пор, пока не остается ни одного применимого правила, т.е. пока список активированных правил не окажется пуст.

Правила можно сравнить с операторами типа if-then процедурных языков программирования. Однако условие if-then оператора в процедурном языке проверяется только тогда, когда программа передает ему управление. С правилами ситуация иная. Блок вывода постоянно отслеживает все правила, условия которых выполняются, и, таким образом, правило может быть выполнено в любой момент, как только оно становится применимым.

В Clips используются следующие виды условных элементов:

test – предоставляет возможность наложения дополнительных ограничений на слоты факта. Внутри элемента TEST могут быть выполнены различные логические операции.

or позволяет активизировать правило любым из нескольких заданных условных элементов.

Условные элементы записи в левой части правила объединены неявно заданным условным эементом and. Явное задание and используется для группировки условных элементов вместе с OR.

Условный элемент not позволяет отрицать утверждения. not удовлетворяется, только если условный элемент, который он содержит, не удовлетворяется.

exists – позволяет определять, существует ли хотя бы один набор данных(фактов), соответствующий заданному условию.

forall – позволяет определить, что некоторое условие выполняются для всех заданных условных элементов.

logical – используется для установления логической связи между данными в левой части правила и данными в правой части, тем самым обеспечивая механизм поддержки достоверности для созданных правилом фактов. Если удаляются данные, которые поддерживают некоторые другие данные, то зависимые данные тоже автоматически удаляются.

Если левая часть правила пуста, то для его активации необходимо наличие в списке фактов исходного факта (initial-fact). Такие безусловные правила часто используются для того, чтобы инициировать работу программы. Поэтому перед запуском таких программ необходимо произвести сброс состояния среды CLIPS.

Как и в других языках программирования, в CLIPS для хранения значений используются переменные. В отличие от фактов, которые являются статическими, или неизменными, содержание переменной динамично и изменяется по мере того, как изменяется присвоенное ей значение.

Идентификатор переменной в общем случае выглядит следующим образом: ?<имя_переменной>. Например, ?а, ?name? , ?k1.

Кроме значения самого факта, переменной может быть присвоено значение адреса факта. Это может оказаться удобным при необходимости манипулировать фактами непосредственно из правила. Для такого присвоения используется комбинация "<-".

Как правило, для запуска программы на CLIPS необходимо выполнить следующую последовательность действий:

● загрузить конструкции из файла с помощью команды load;

● выполнить команду reset;

● выполнить команду run.

Пример.

Имеются факты, отражающие результат прошедшей сессии, вида:

(ocenca <фамилия><оценка1>< оценка2>< оценка3>)

Создать следующие правила:

1) начисления стипендии студентам, сдавшим сессию без троек. В результате выполнения правила должны быть добавлены факты вида: (stip <фамилия> 1000)

2) начисления повышенное стипендии студентам, сдавшим все экзамены на «отлично». В результате выполнения правила должны быть добавлены факты вида: (stip <фамилия> 1500)

3) перевода на следующий курс для студентов, сдавшим все экзамены. В результате выполнения правила должны быть добавлены факты вида: (pereveden <фамилия> )

4) определяющее все ли студенты, сдававшие сессию, переведены. В результате выполнения правила должна выводиться соответствующее сообщение.

Решение:

1. Запустить Clips, открыть новый файл и набрать текст программы:

; определяем исходные факты

(deffacts vedomost

(ocenca Ivanov 5 5 5)

(ocenca Petrov 4 5 4)

(ocenca Sidorov 3 3 4)

)

; правило начисления стипендии студентам, сдавшим сессию без троек.

(defrule stipendia

(ocenca ?name ?o1 ?o2 ?o3) ; ищем факт, соответствующий указанному образцу

(test (or (= ?o1 5) (= ?o1 4))) ; если каждая из оценок 4 или 5

(test (or (= ?o2 5) (= ?o2 4)))

(test (or (= ?o3 5) (= ?o3 4)))

=>

(assert (stip ?name 1000) ; то добавляем факт о начислении стипендии)

)

; правило начисления стипендии отличникам

; т.к. в результате выполнения 1-го правила отличникам была начислена обычная ;стипендия, то следует сначала удалить эти факты, а затем добавить новые – о повышенной стипендии

(defrule stip_otl

(ocenca ?name ?o1 ?o2 ?o3) ; ищем факт, соответствующий образцу

(test (= 5 ?o1 ?o2 ?o3)) ; если все оценки 5

?n<- (stip ?name 1000) ; n – индекс факта о начислении обычной
; стипендииотличнику

=>

(retract ?n) ; удаляем факт

(assert (stip ?name 1500)) ; добавляем новый

)

; правило, добавляющее факты о студентах, которые были переведены на следующий курс

(defrule perevod

(ocenca ?name ?o1 ?o2 ?o3) ; ищем факт, соответствующий образцу

(test (<> 2 ?o1 ?o2 ?o3)) ; если каждая оценка не двойка

=>

(assert (pereveden ?name )) ; добавляемновыйфакт

)

; правило, определяющее, что все студенты переведены на следующий курс

(defrule all_student_perevod

(forall (ocenca ?name ?o1 ?o2 ?o3) ; еслидлявсехстудентов

(pereveden ?name )) ; существуют факты о их переводе

=>

(printout t " vse studenty perevedeny!" crlf)) ; товыводсообщения

2. Сохранить файл, например, под именем lab4.clp, затем загрузить (File | Load…). Если в диалоговом окне выведено сообщение TRUE, то запустить на исполнение. Если появилось сообщение FALSE, то следует исправить ошибки

В результате выполнения программы в диалоговом окне должно быть выведено сообщение:

vse studenty perevedeny!

В окне Facts (Main) должен быть отображен список всех фактов, полученных в результате выполнения программы (рис.22).

Рис.22 Текущий список фактов после выполнения программы

Контрольные вопросы

1. Какая конструкция используется для создания правил? Поясните ее структуру.

2. Какой условный элемент предоставляет возможность наложения дополнительных ограничений в левой части правила?

3. Поясните назначение условных элементов NOT, AND, OR.

4. С какой целью используются условные элементы EXISTS и FORALL?

5. Какой условный элемент используется для установления логической связи между данными в левой части правила и данными в правой части?

6. Как записываются имена переменных в CLIPS?

7. Какую последовательность действий необходимо выполнить для запуска программы на CLIPS?

Задания для самостоятельной работы

1. С помощью deffacts создайте список из 5 упорядоченных фактов вида:

(sotrudnik <фамилия><стаж работы><кол-во детей><оклад>)

Определите следующие правила:

1) начисления премии тем сотрудникам, у которых стаж работы не менее 5 лет или более 2-х детей. В результате выполнения правила должны быть добавлены факты вида: (premia < фамилия ><сумма премии>).Премия вычисляется в размере 20% от оклада.

2) Определяющее, все ли сотрудники получили премию. В результате выполнения правила должно выводиться соответствующее сообщение.

3) Определяющее, есть ли среди сотрудников ветераны труда ( ветераном труда считается сотрудник, у которого стаж работы более 20 лет). В результате выполнения правила должно выводиться соответствующее сообщение.

2. С помощью deffacts создать список из 5 упорядоченных фактов вида:

(tovar <наименование><цена><кол-во><год производства><страна-производитель>)

Определите следующие правила:

1) Уценки тех товаров, которые были выпущены до 2010 г. или количество которых менее 4 единиц. В результате выполнения правила должны быть добавлены факты вида: (ucenka < наименование ><сумма уценки>).Уценка вычисляется в размере 15% от цены товара.

2) Дополнительной наценки на импортные товары, выпущенные в текущем году. В результате выполнения правила должны быть добавлены факты вида: (nacenka < наименование ><сумма доп.наценки>).Наценка вычисляется в размере 7% от цены товара.

3) Определяющее, есть ли в базе данных товары российского производства. В результате выполнения правила должно выводиться соответствующее сообщение.

ПРОЦЕДУРНЫЕ ФУНКЦИИ

Основные сведения

В CLIPS имеются функции, которые обеспечивают возможность процедурного программирования. Они могут использоваться для создания отрезков процедурного кода в правилах. Наиболее часто используются следующие процедурные функции:

1. (bind <имя-переменной><выражение>) - создание и связывание переменных

Первый аргумент функции <имя-переменной> является именем глобальной или локальной переменной, созданной в правиле или функции.

Если параметр <выражение> не определен, то выполнение функции bind не оказывает на локальные переменные никакого влияния, а глобальные переменные получают при этом значения по умолчанию.

Функция bind возвращает значение false при неудачном исходе операции. Во всех остальных случаях функция возвращает присвоенное переменной значение.

Если заданная переменная еще не определена, она будет создана и связана с соответствующим значением.

2. (if <выражение> then <действия1> [else<действия2>]) - ветвление

Если условие, заданное с помощью выражения, выполняется (т. е. не является ложным), выполняются действия, определенные в блоке then. В противном случае производятся действия из блока else. В каждом из таких блоков может быть задано любое количество действий. Любой блок может содержать вложенную конструкцию if.. .then.. .else. Блок else является необязательным.

3. (while <условие> do <действия>) - цикл с предусловием

Проверка условия выполняется перед выполнением тела цикла. Цикл выполняется, пока условие (логическое выражение) остается истинным. В теле цикла может содержаться произвольное количество действий, включая вложенные циклы или функцию if.

4. (loop-for-count <диапазон> do <действия>) - цикл с заданным числом повторений

Цикл loop-for-count производит указанные действия некоторое количество раз согласно заданному параметру <диапазон>. Если минимальное значение параметр не задано, ему автоматически присваивается 1. CLIPS предусматривает наличие параметра <переменная-цикла>, определяющего имя локальной переменной, которая может использоваться в теле цикла для определения текущего числа итераций. Использование переменной цикла после завершения работы функции loop-for-count вне тела цикла запрещено. Функции break и return могут быть использованы для экстренного прерывания работы цикла. В теле цикла может содержаться произвольное количество действий, включая вложенные циклы или функцию if.

5. (switch <выражение> (case<выражение> then <действие>) [(default <действие>)] - множественный выбор

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

Функция switch в первую очередь проводит вычисление аргумента <выражение>, а затем сравнивает его со всеми условиями ветвления по очереди. Если значение заданного выражения совпадает с одним из условий ветвления, выполняются соответствующие действия, и работа функции завершается. Если совпадений обнаружить не удалось, функция возвращает результат последнего сеанса выбора (если таковой имеется) или значение false.

6. (break) -прерывание

Функция break прерывает текущую итерацию циклов while и loop-for-count

7. (return [<выражение>]) - прерывает выполняющуюся функцию, цикл, правило, обработчик сообщения и т. д.

Если функция return вызывается без аргументов, функция не возвращает никакого значения. Однако если аргумент присутствует, return возвращает результат вычислений, который присваивается значению прерванной функции, цикла или обработчика сообщения.

Пример 1.

Создать правило perevod,которое запрашивает количество студентов, вводит данные о них и добавляет факты вида (pereveden <имя><курс>)

Решение:

1. Запустите Clips, откройте новый файл и наберите текст программы:

(defrule perevod

=>

(printout t "n=" ) % выводим строку подсказки

(bind ?n (read)) % вводим количество студентов

(loop-for-count ?n do % повторить n раз

(printout t "FIO:" )

(bind ?name (readline)) % вводимФИО

(printout t "kurs:" )

(bind ?k (read)) % вводимкурс

(while (or (< ?k 2) (> ?k 5))do % если курс задан неверно: меньше 2 или
больше 5

(printout t "kurs:" ) % товвод повторяется

(bind ?k (read))

)

(assert (student ?name ?k)) % добавляемфакт

)

)

2. Сохраните файл, например, под именем lab5-1.clp, затем загрузите его (File | Load…). Если в диалоговом окне выведено сообщение TRUE, то запустите на исполнение. Если появилось сообщение FALSE, то следует исправить ошибки

3. Протестируйте программу

Пример 2.

Создать правило prostoe,которое определяет, является простым или составным введенное натуральное число

Решение:

(defrule prostoe

=>

(printout t "n=")

(bind ?n (read)) % вводим число

(bind ?t (div ?n 2)) % определяем возможный наибольший делитель числа-t

(bind ?s "prostoe") % предполагаем, что число простое

(loop-for-count (?i 2 ?t) do % перебираем значения i от 2(наименьший делитель) до t

( if (= (mod ?n ?i) 0) then % если делитель найден

(bind ?s "sostavnoe") % то число составное

)

)

(printout t ?s crlf) % выводим результат

)

Пример 3.

Создать правило summa,которое находит сумму последовательных натуральных чисел от 1 до 10.

Решение:

(defrule summa

=>

(bind ?sum 0) % обнуляемсумму

(loop-for-count (?n 1 10) do % перебираем n от 1 до 10

(bind ?sum (+ ?sum ?n)) % добавляем к сумме очередное n

)

(printout t "sum=" ?sum crlf)

)

Контрольные вопросы

1. Какая функция позволяет создать переменную и задать ее значение?

2. Какая функция реализует ветвление в CLIPS? Поясните ее структуру.

3. Какие функции используются для организации циклов? Объясните механизм работы каждой из них.

4. Какая функция обеспечивает множественный выбор? Поясните ее структуру.

Задания для самостоятельной работы

1. Создать правило zachisl,которое запрашивает количество студентов, вводит ФИО каждого и добавляет факты вида (student <фамилия> 1).

2. Создать правило spisok_sotr,которое запрашивает количество сотрудников, вводит ФИО и должность каждого и добавляет факты вида (sotrudnik <фамилия ><должность > ).

3. Создать правило factorial для вычисления n!

4. Создать правило для вычисления суммы S=1/2²+1/4²+1/6²+···+1/(2n)²

5. Первоначальная сумма вклада в банк составляет S0 руб., процентная ставка – р% годовых. Через сколько лет сумма вклада более чем в 2 раза превысит первоначальную? Создать соответствующее правило

6. Создать правило nodдля нахождения наибольшего общего делителя двух натуральных чисел.

Подсказка: можно использовать алгоритм Евклида:

1) пока числа не равны, заменять большее из них разностью большего и меньшего.

2) когда числа станут равны, любое из них взять в качестве НОД

ФУНКЦИИ ПОЛЬЗОВАТЕЛЯ

Основные сведения

Под функцией в CLIPS понимается фрагмент исполняемого кода, с которым связано уникальное имя и который возвращает полезное значение или имеет полезный побочный эффект (например, вывод информации на экран).

Существует несколько типов функций. Пользовательские и системные функции - это фрагменты кода, написанные на внешних языках (например, на С) и связанные со средой CLIPS. Системными называются те функции, которые были определены изначально внутри среды CLIPS. Пользовательскими называются функции, которые были определены вне CLIPS.

Конструкция deffunction позволяет определять новые функции непосредственно в среде CLIPS с использованием синтаксиса CLIPS. Функции, определенные таким образом, выглядят и работают подобно остальным функциям, однако они выполняются не напрямую, а интерпретируются средой CLIPS.

Синтаксис:

(deffunction <имя_функции>

[<комментарии>]

<обязательные параметры>

[<групповой параметр>]

<действия>

)

Обязательные параметры определяют минимальное число аргументов, задаваемых при вызове функции. Если групповой параметр задан, то количество аргументов может быть больше. Определение функции может содержать только один групповой параметр, который обозначается символом $. Все необязательные аргументы группируются в одно значение составного поля.

Одна функция пользователя может вызывать другую функцию. При этом вызываемая функция должна быть определена до вызывающей.

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

Пример1.

Создать функцию, позволяющую пользователю задать вопрос и получить ответ типа да/нет.

Решение:

1. Создайте новый файл и наберите программу:

;функция ask-questionс обязательным параметром?question (вопрос) и групповым параметром $?allowed-values (список допустимых ответов)

(deffunction ask-question (?question $?allowed-values)

(printout t ?question) ; выводвопроса

(bind ?answer (read)) ; вводответа

(if (lexemep ?answer) ; если введено строковое значение

then (bind ?answer (lowcase ?answer))) ; то символы строки преобразуем
в строчные

; пока пользователь не введет ответ, принадлежащий списку допустимых значений, повторять ввод

(while (not (member ?answer ?allowed-values)) do

(printout t ?question)

(bind ?answer (read))

(if (lexemep ?answer)

then (bind ?answer (lowcase ?answer))))

?answer

)

; правило, задающее вопрос пользователю и в случае утвердительного ответа добавляющее факт в базу данных

(defrule yes-no

=>

; вызов функции и копирование полученного ответа в переменную ?response

(bind ?response (ask-question "color blue?(yes/no)" yes no y n))

(if (or (eq ?response yes) (eq ?response y)) ; еслиответ y или yes

then (assert (color blue)) ; тодобавляемфакт

)

)

2. Протестируйте программу для разных вариантов ответов, просматривая каждый раз базу данных.

Пример 2.

Создать функцию для определения периметра прямоугольного треугольника по длинам его катетов. Для вычисления гипотенузы создать отдельную функцию и использовать ее при определении периметра. Найти периметр прямоугольного треугольника для введенных значений катетов (создать соответствующее правило)

;функция для вычисления гипотенузы треугольника с катетами a и b

(deffunction gipotenuza (?a ?b)

(sqrt (+ (** ?a 2) (** ?b 2))) ;определяем значение функции

)

;функция для вычисления периметрапрямоугольного треугольника с катетами a и b

(deffunction perimetr (?a ?b)

(bind ?c (gipotenuza ?a ?b)) ;вычисляем гипотенузу с помощью объявленной

; функции gipotenuza

(+ ?a ?b ?c) ) ;определяем значение функцииperimetr

; правило для ввода значений катетов и вычисления периметра с использованием созданных функций

(defrule perim_treug

=>

(printout t "a=")

(bind ?a (read)) ;ввод значения катета а

(printout t "b=")

(bind ?b (read)) ;ввод значения катета b

(bind ?p (perimetr ?a ?b)) ; вычисление периметра

(printout t "p=" ?p crlf) ) ; вывод результата

Пример 3.

Создать рекурсивную функцию для вычисления факториала и правило, позволяющее вводить произвольное натурального числа и находить его факториал.

Факториал числа вычисляется как произведение натуральных последовательных чисел от 1 до n

n!=1*2*3*...*(n-1)*n.

Рекурсивно факториал можно определить следующим образом:

n!=

Например, 4!= 3!*4=2!*3*4=1!*2*3*4*= 0!*1*2*3*4*= 1*1*2*3*4=24

Решение:

; функция fact с аргументом n

(deffunction fact (?n)

(if (= ?n 0) then 1 ; если n=0 то n!=1

else (* ?n (fact (- ?n 1))) ; иначеумножаем n на (n-1)!

)

)

; правило для ввода числа n и вычисления n!

(defrule fact_n

=>

(printout t "n=")

(bind ?n (read)) ;ввод числа

(bind ?fn (fact ?n)) ; вызов функции с фактическим параметром n

(printout t ?n "!=" ?fn crlf) ) ; вывод результата

Контрольные вопросы

1. Какие типы функций существует в CLIPS?

2. Какая конструкция CLIPS позволяет создать новые функции? Поясните ее структуру.

3. С какой целью используется групповой параметр при описании функции пользователя?

4. Какие функции называются рекурсивными?

Задания для самостоятельной работы

1. Создать функцию для вычисления длины отрезка по заданным координатам его концов и , . Используя данную функцию найти периметр треугольника по координатам его вершин.

2. Создать функцию для вычисления площади треугольника по длинам его сторон, . Используя данную функцию сравнить площади двух треугольников, заданных длинами своих сторон.

3. Определить функцию для вычисления значения Y =f(X) с выбором формулы в соответствии с условием

4. Определить функцию для вычисления значения Y =f(X) с выбором формулы в соответствии с условием

5. Создайте логическую функцию, позволяющую пользователю задать вопрос и получить ответ типа да/нет. При утвердительном ответе функция возвращает значение TRUE, а при отрицательном - FALSE.

6. Создайте рекурсивную функцию для вычисления суммы вида

7. Создайте рекурсивную функцию для вычисления суммы вида

8. Создайте рекурсивную функцию для вычисления суммы вида

ОБРАБОТКА СТРОКОВЫХ ВЕЛИЧИН

Основные сведения

Для работы со строками в CLIPS имеются функции:

1. str-cat <список строк> - объединяет строки и возвращает ее в качестве результата.

Аргументы этой функции должны принадлежать одному из следующих типов: symbol, string, float, integer или instance-name.

2. sub-string <индекс первого символа>< индекс последнего символа ><строка> - выделяет из строки подстроку

Первый аргумент функции задает индекс первого символа выделяемой подстроки, а второй аргумент — последнего символа. Сама строка определяется последним аргументом. Если первый аргумент больше второго, функция возвращает 0.

3. str-index <подстрока><строка> - возвращает позицию заданной подстроки внутри строки.

Результат выполнения функции относится к целому типу и равен индексу первого символа подстроки. В случае если искомая подстрока не была найдена, функция str-index возвращает значение false.

4. upcase <строка>преобразует все символы строки в верхний регистр

5. lowcase <строка> преобразует все символы строки в нижний регистр

6. str-compare <строка1><строка2> сравнивает две строки.

Сравнение выполняется посимвольно до конца строк (если строки равны), либо пока не встретятся два неравных символа. Функция возвращает целое число, представляющее результат сравнения. Если сравниваемые строки равны, результатом является 0. Если первая строка меньше второй, результат — целое число меньше 0, и, наконец, если первая строка больше второй, возвращаемый результат – целое число больше 0. Аргументы функции должны принадлежать типу string или symbol.

7. str-length < строка > длина строки

Результат работы этой функции возвращается в виде целого числа

Пример 1.

Имеются факты вида :

(ocenka ivanov 4 5 5)

(ocenka sidorov 3 5 4)

(ocenka paramonova 4 4 4)

(ocenka orlov 5 5 4)

Вывести данные, выравнивая длину фамилий до 15 символов за счет добавления справа пробелов.

Решение:

; исходные факты

(deffacts ocenki

(ocenka ivanov 4 5 5)

(ocenka sidorov 3 5 4)

(ocenka paramonova 4 4 4)

(ocenka orlov 5 5 4)

)

; правило, формирующее список

(defrule spisok

(ocenka ?name ?o1 ?o2 ?o3) ; ищем факт, соответствующий образцу

=>

(bind ?n (- 15 (str-length ?name))) ;определяем кол-во добавляемых пробелов

(loop-for-count (?i 1 ?n) do ; в цикле добавляем по одному нужное число
пробеловсправа

(bind ?name (str-cat ?name " "))

)

(printout t ?name ?o1 " " ?o2 " " ?o3 crlf) ; вывод

)

Пример2.

Создать правило для подсчета заданных символов во введенной строке.

Решение:

(defrule kol_sym

=>

(bind ?str (readline)) ;вводстроки

(bind ?c (readline)) ;вводсимвола

(bind ?n (str-length ?str)) ;вычисляемдлинустроки

(bind ?k 0) ; обнуляем счетчик символов

(loop-for-count (?i 1 ?n) do ;перебираем все символы строки

(bind ?c1 (sub-string ?i ?i ?str)) ;выделяем i-йсимвол

(bind ?d (str-compare ?c ?c1)) ;сравниваем текущий символ строки с
заданным

(if (= ?d 0) then ;если символы равны

(bind ?k (+ ?k 1)) ;то увеличиваем значение счетчика на 1

)

)

(printout t "k=" ?k crlf) ;вывод результата

)

Пример3.

Создать функцию, удаляющую из заданной строки первое вхождение указанной подстроки

Решение:

; функция str-del с аргументами ?substr (подстрока ) и ?str(строка)

(deffunction str-del (?substr ?str)

(bind ?n1 (str-length ?substr)) ;вычисляемдлинуподстроки

(bind ?n2 (str-length ?str)) ;вычисляемдлинустроки

(bind ?k (str-index ?substr ?str)) ;определяем позицию вхождения
подстроки в строку

(if (> ?k 0) then ; если подстрока содержится в строке

(bind ?st1 (sub-string 1 (- ?k 1) ?str)) ; вырезаем часть строки слева от
подстроки

(bind ?st2 (sub-string (+ ?k ?n1) ?n2 ?str)) ; вырезаем часть строки справа
от подстроки

(bind ?str (str-cat ?st1 ?st2)) ; объединяем полученные части

)

?str )

; правило substr_delete для ввода строки и подстроки и вызова функции str-del

(defrule substr_delete

=>

(bind ?str (read))

(bind ?substr (read))

(bind ?str (str-del ?substr ?str))

(printout t "str=" ?str crlf))

Контрольные вопросы

1. Какая функция объединяет строки?

2. Назовите функцию, позволяющую выделить из строки подстроку.

3. Какая функция вычисляет длину строки?

4. Назовите функцию, позволяющую определить позицию вхождения подстроки в строку.

5. Какая функция используются для преобразования символов строки в верхний регистр?

6. Какая функция используются для преобразования символов строки в нижний регистр?

7. Назовите функцию, сравнивающую две строки. Какой результат возвращает функция в результате сравнения?

Задания для самостоятельной работы

1. Создайте правило, заменяющее в строке один указанный символ другим.

2. Создайте правило, заменяющее в заданной строке все пробелы на символ "_".

3. Создайте правило, удаляющее из заданной строки все вхождения указанной подстроки

4. Создайте функцию, добавляющую к заданной строке справа указанное количество символов ‘*’, и правило, которое вводит две строки и выравнивает их длины, добавляя к меньшей символы ‘*’.

5. Создайте функцию, позволяющую удалить из строки лишние пробелы, оставив по одному между словами.

6. Создайте функцию, позволяющую записать заданную строку в зеркальном отображении.

.

Рекомендуемая литература