(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 и способах работы с ними, приступим к изучению правил.