Предикат existfile/1

Предикат existfile выпомняется успешно, если файл DosFileName будет

найден в каталоге ДОС на текущем дисковом устройстве. Формат его следую-

щий:

existfile(DosFileName) /* (i) */

Предикат existfile терпит неудачу, если имя не найдено в каталоге,

или имя файла неправильно, или содержит глобальные символы поиска (напри-

мер, MY*.PRO или ??PROJ.* ).

Для проверки того, что файл присутствует на диске, прежде чем откры-

вать его вы можете использовать следующую последовательность:

open(File,Name):-

existfile(Name),!,

openread(File,Name).

open(_,Name) :-

write("Error: the file ",Name," is not found").