Базы данных
Внутренняя БД (часто называют динамическая база данных) хранится в текстовом файле, она может быть целиком считана в оперативную память и быстро обработана. Внутренняя база данных состоит из фактов, которые можно динамически, в процессе выполнения программы, добавлять в базу данных и удалять из нее, сохранять в файле, загружать факты из файла в базу данных. Эти факты могут использовать только предикаты, описанные в разделе описания предикатов базы данных.
DATABASE [ — <имя базы данных>]
<имя предиката>(<имя домена первого аргумента>,...,
< имя домена n-го аргумента>)
Если раздел описания предикатов базы данных в программе только один, то он может не иметь имени. В этом случае он автоматически получает стандартное имя dbasedom. В случае наличия в программе нескольких разделов описания предикатов базы данных только один из них может быть безымянным. Все остальные должны иметь уникальное имя, которое указывается после названия раздела DATABASE и тире. Когда объявлен раздел описания предикатов базы данных, компилятор внутренне объявляет соответствующий домен с таким же именем, как у этого раздела; это позволяет специальным предикатам обрабатывать факты как термы.
Описание предикатов базы данных совпадает с их описанием в разделе описания предикатов PREDICATES. Однако эти предикаты можно задействовать в качестве параметров встроенных предикатов. Кроме того, факты, использующие эти предикаты, могут добавляться и удаляться во время выполнения программы.
В базе данных могут содержаться только факты, причем факты базы данных не могут содержать свободных переменных.
Встроенные предикаты для работы с БД:
| consult(DosFileName,InternalDatabaseName)(string,InternalDatabaseName) - (i,i) | Загрузка из файла DosFileName внутренней БД с именем InternalDatabaseName, объявленной как DATABASE - InternalDatabaseName. |
| consult(DosFileName) (string) - (i) | Загрузка из файла DosFileName внутренней базы данных, объявленной без имени. |
| save(DosFileName,InternalDatabaseName) (string,DatabaseName) - (i,i) | Сохранение внутренней базы данных, объявленной с именем InternalDatabaseName, в файле DosFileName. |
| save(DosFileName) (string) - (i) | Сохранение внутренней базы данных, объявленной без имени, в файле DosFileName. |
| assert(Term) (InternalDatabaseDomain) - (i) | Добавление терма (факта) Term во внутреннюю базу данных. |
| asserta(Term) (InternalDatabaseDomain) - (i) | Добавление факта Term в начало базы данных. |
| assertz(Term) (InternalDatabaseDomain) - (i) | Добавление факта Term в конец базы данных. |
| retractall(_,InternalDbaseName) (_,DatabaseName) - (_,i) | Удаление всех термов во внутренней базе данных с указанным именем InternalDbaseName. |
| retractall(Term) (InternalDatabaseDomain) - (_) | Удаление всех термов вида Term во внутренней базе данных без имени. |
Пример: Имеется база данных – список имён. Составить программу, которая будет проводить пополнение БД.