Логическое программирование

       

Загрузка базы данных (файла с программой)


Передавать программы пролог-системе (загружать, “консультировать”) можно при помощи встроенного предиката:

consult(+File)

Все предложения программы, содержащиеся в файле, будут использованы Пролог-системой; аргумент предиката может быть списком файлов, в этом случае файлы загружаются по очереди.

Возможна и сокращенная запись для чтения программ из файлов. Файлы, из которых предстоит чтение, просто помещаются в список и этот список используется в качестве цели. Например:

?- [файл1, файл2, файл3].

Если в файле есть предложения, касающиеся отношений, которые уже были определены ранее, старые определения заменяются новыми из файла. Для того, чтобы разные предложения для одного и того же предиката из разных файлов дополняли друг друга, а не переопределяли, необходимо использовать директиву multifile в виде:

:- multifile  +Functor/+Arity, ...



Содержание раздела