Пусть от нашей программы 9.1 «Партийная жизнь» из главы 9 требутся не только показать всех членов партии, но и подсчитать их количество.
Процедура просмотра информации динамической БД, представляющая собой утверждения предиката:
dmember_party служит
show_database :-
dmember_party(Name,Age,Pay,Payment),
write(Name), nl,
fail.
show_database :- !.
Первое правило с помощью возврата после неудачи перебирает и печатает всех членов партии, второе обеспечивает успешное завершение цели.
Изменим эту процедуру так, чтобы одновременно вести подсчет членов. Заведем для этой цели счетчик dculc. В программе может возникнуть необходимость подсчитывать еще что-нибудь, например, сумму сданных членских взносов.
Не будем всякий раз заводить новый счетчик, пусть первым аргументом предиката dculc будет уникальное имя счетчика, представляющее собой символическое имя. Именем нашего счетчика будет константа num(или «число членов»). Вторым аргументом будет значение счетчика — величина типа integer.
Поскольку все наши счетчики будут подчиняться одним правилам, начальное значение счетчика и его приращение будут передаваться в качестве параметров. Описание будет выглядеть так:
database
dmember_party(name,age,pay,payment)
dculc(symbol,integer)
Запишем последовательнность действий при подсчете членов.
1. Записываем в БД начальное значение dculc(num,0).
2. При считывании нового члена старое значение dculc(num,Old) удаляется и записывается новое значение dculc(num,New), где New = Old+1.
3. После завершения перебора всех членов печатается окончательное значение счетчика Total, а утверждение dculc(num,Total) удаляется из базы.
culc_database :-
init_culc(num,0),
dmember_party(Name,_,_,_),
write(Name), nl,
inc_culc(num,1),
fail.
culc_database :-
del_culc(num,Total),
write(”число членов ”,Total),
nl,!.
К описанию предикатов добавятся:
predicates
init_culc(symbol,integer)
inc_culc(symbol,integer)
del_culc(symbol,integer)
Первым аргументом каждого правила является имя счетчика. Второй аргумент
для init_culc — начальное значение счетчика,
для inc_culc — приращение счетчика,
для del_culc — окончательное значение счетчика.
В раздел clauses будут добавлены следующие правила:
clauses
init_culc(Name,C0):-
retractall(dculc(Name,_)),
assert(dculc(Name,C0)).
inc_culc(Name,Delta):-
retract(dculc(Name,Old)),
New = Old + Delta, assert(dculc(Name,New)),!.
del_culc(Name,Total):-
retract(dculc(Name,Total)),!.
Обсудим теперь структуру правил и их расположение внутри процедуры culc_database. Сразу заметно, что правила inc_culc и del_culc снабжены отсечениями, которого нет у правила init_culc.
Ни retractall, ни assert не передоказываются при возвратах, поэтому выделение действий установки счетчика в отдельное правило — лишь вопрос стиля. На самом деле, первое правило culc_database могло выглядеть так:
culc_database :-
retractall(dculc(num,_)),
assert(dculc(num,0)),
dmember_party(Name,_,_,_),
write(Name), nl,
inc_culc(num,1),
fail.
Оставшиеся два правила содержат внутри себя предикат retract, который передоказывается при возвратах.
Попробуем не выделять увеличение счетчика в отдельное правило, а вставить на уровень тела правила culc_database.
culc_database :-
<.............>,
dmember_party(Name,_,_,_),
retract(dculc(num,Old)),
New = Old + 1,
assert(dculc(num,New)),
fail.
Для первого члена в базу будет записано значение счетчика 1. Затем от неудачи произойдет возврат к retract(не доходя до dmember_party), 1 будет стерта, записана 2, при следующем возврате к retract 2 будет стерта, записана 3, и т.д. Образуется бесконечный цикл.
Чтобы избежать этих неприятностей, ПРАВИЛА, МОДИФИЦИРУЮЩИЕ БАЗУ ДАННЫХ, ВЫДЕЛЯЮТСЯ В ОТДЕЛЬНУЮ ПРОЦЕДУРУ, ОПУСКАЮТСЯ НА УРОВЕНЬ НИЖЕ ВЫЗЫВАЮЩЕГО ИХ ПРАВИЛА И СНАБЖАЮТСЯ ОТСЕЧЕНИЕМ.
Упражнение 10.1.
Добавьте к программе 9.1 из главы 9 («Партийная жизнь») еще одну опцию меню для показа суммы сданных членских взносов.
