В экспертной системе оболочка должна быть независима от базы знаний, поэтому механизм вывода и база знаний помещаются в два разных файла. Такие предикаты как system и askable присутствуют в обоих файлах, следовательно необходима специальная директива для интерпретатора Пролога multifile.
% программа 6
:- multifile system/1, askable/1.
% остальной текст программы как в программе 5, за исключением
% того, что убираем правило system(member(_._))
База знаний "Болезни" находится в отдельном файле и дополняется правилом
system(member(_,_)).
|