Загрузка базы данных (файла с программой)
Передавать программы пролог-системе (загружать, “консультировать”) можно при помощи встроенного предиката:
consult(+File)
Все предложения программы, содержащиеся в файле, будут использованы Пролог-системой; аргумент предиката может быть списком файлов, в этом случае файлы загружаются по очереди.
Возможна и сокращенная запись для чтения программ из файлов. Файлы, из которых предстоит чтение, просто помещаются в список и этот список используется в качестве цели. Например:
?- [файл1, файл2, файл3].
Если в файле есть предложения, касающиеся отношений, которые уже были определены ранее, старые определения заменяются новыми из файла. Для того, чтобы разные предложения для одного и того же предиката из разных файлов дополняли друг друга, а не переопределяли, необходимо использовать директиву multifile в виде:
:- multifile +Functor/+Arity, ...
