Пример 5.22. Содержание файла fl

(template (а 1) (b 2) } (simple-factl)

В случае успешного выполнения, команда возвращает значение true, a в случае неудачи — соответствующее сообщение об ошибке. Если указан­ный файл уже существует, он будет перезаписан.

Для загрузки сохраненных ранее файлов используется функция load-facts. Функция имеет следующий формат:

Определение 5.15. Синтаксис команды load-facts

(load-facts <имя-файла>)

Здесь <имя-файла> — имя текстового файла, сохраненного ранее с помощью команды save-facts, содержащего список фактов. Файл со списком фактов можно также создать в любом текстовом редакторе, если вы хорошо разо­брались с представлением фактов в CLIPS. Для загрузки сохраненного в предыдущем примере файла выполните:

Пример 5.23. Использование функции load-facts

(load-facts fl)

В случае успешного выполнения команда возвращает значение true, а в случае неудачи — false и соответствующее сообщение об ошибке. Обратите внимание, что если в файле содержатся факты, связанные с явно создан­ными с помощью конструктора deftemplate шаблонами, то в момент загруз­ки все необходимые шаблоны должны быть уже определены в системе. Если это условие не будет выполнено, то загрузка фактов закончится неудачно. К счастью, CLIPS также позволяет и загрузку конструкторов из текстового файла, но об этом мы поговорим в следующей главе, после рассмотрения конструктора defrule.

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