, . : .
predicates
conv_real_int (real, integer)
clauses
conv_real_int (R, N):- R=N.
deletefile () (string): (i)
, .
deletefile (C: progr.pro)
save () (string): (i)
. . , .
renamefile (, ) (string, string): (i, i)
existfile () (string): (i)
, .
flash () (file): (i)
, .
disc () (string): (i) (o)
(i)
(o) .
dir (, , ) (string, string, string): (i, i, o)
3- .
dir (E:\PROLOG, a*.*, X)
- : openread
- : openwrite
- /: openmodify
- ( ): openappend.
: (, ) (file, string): (i, i)
closefile () (file): (i)
(, , ) ().
eof () (file): (i)
, .
filemode (, ) (file, integer): (i, i) (i, o)
(i, i) (0 , 1 )
(i, o) .
filepos (, , ) (file, real, integer): (i, i, i) (i, o, i)
(i, i, i) (=0 , =1 , =2 )
(i, o, i) .