Факты в CLIPS

Факты — одна из основных форм представления данных в CLIPS (сущест­вует также возможность представления данных в виде объектов и глобаль­ных переменных, но об этом речь пойдет позже). Каждый факт представля­ет собой определенный набор данных, сохраняемый в текущем списке фак­тов — рабочей памяти системы. Список фактов представляет собой универсальное хранилище фактов и является частью базы знаний. Объем списка фактов ограничен только памятью вашего компьютера. Список фак­тов хранится в оперативной памяти компьютера, но CLIPS предоставляет возможность сохранять текущий список в файл и загружать список из ранее сохраненного файла.

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

Факты можно добавлять, удалять, изменять и дублировать, вводя соответст­вующие команды с клавиатуры, либо из программы. Все соответствующие команды будут описаны в данной главе.

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

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

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