(HANDLING THE INTERNAL DATABASE)
| consult(D)
| (string)
| | | (i) -
| считывает предикаты из текстового файла D и помещает их во встроенную базу данных.
| | consult(D, BD)
| (string, InternalDatabaseName)
| | | (i, i) -
| считывает предикаты из текстового файла D и помещает их в именованную базу данных BD.
| | save(D)
| (string)
| | | (i) -
| дописывает предикаты, содержащиеся во астроенной базе данных в текстовый файл D.
| | save(D, BD)
| (string, DatabaseName)
| | | (i, i) -
| дописывает предикаты, содержащиеся в именованной базе данных BD в текстовый файл D.
| | assert(T)
| (InternalDatabaseDomain)
| | | (i) -
| помещает факт T в текущую точку встроенной базы данных.
| | asserta(T)
| (InternalDatabaseDomain)
| | | (i) -
| помещает факт T в начало встроенной базы данных.
| | assertz(T)
| (InternalDatabaseDomain)
| | | (i) -
| помещает факт T в конец встроенной базы данных.
| | nondeterm retract(T)
| (InternalDatabaseDomain)
| | | ( _ ) -
| предикат заканчивается успехом, если удается удалить из встроенной базы данных первый факт, удовлетворяющий шаблону T.
| | nondeterm retract(T, DB)
| (InternalDatabaseDomain)
| | | ( _, i) -
| предикат заканчивается успехом, если удается удалить из именованной базы данных DB первый факт, удовлетворяющий шаблону T.
| | retractall(T)
| (InternalDatabaseDomain)
| | | ( _ ) -
| удаляет из встроенной базы данных все факты, удовлетворяющие шаблону T, успешен всегда.
| | retractall(T, DB )
| ( _, InternalDatabaseDomain)
| | | ( _, i) -
| удаляет из именованной базы данных DB все факты, удовлетворяющие шаблону T, успешен всегда.
| | | | | |
|
