Version: 1.7#195 (2002/4/12, 14:21:57 CEST)
Version of last change: 1.5#55 (2000/2/11, 21:19:43 CET)
file_utils
)file_utils
)
Usage 1: file_terms(@File,?Terms)
File
to/from a list of terms Terms
.
@File
is a source name.
(streams_basic:sourcename/1
)
?Terms
is a list.
(basic_props:list/1
)
Usage 2: file_terms(File,Terms)
Terms
with the list of all terms in File
.
File
is a source name.
(streams_basic:sourcename/1
)
Terms
is a free variable.
(term_typing:var/1
)
File
is a source name.
(streams_basic:sourcename/1
)
Terms
is a list.
(basic_props:list/1
)
Usage 3: file_terms(File,Terms)
Terms
(including the ending '.') onto file File
.
File
is a source name.
(streams_basic:sourcename/1
)
Terms
is a list.
(basic_props:list/1
)
File
is a source name.
(streams_basic:sourcename/1
)
Terms
is a list.
(basic_props:list/1
)
Usage: copy_stdout(+File)
File
to standard output.
+File
is a source name.
(streams_basic:sourcename/1
)
Usage: file_to_string(+FileName,-String)
FileName
and returns them in String
.
+FileName
is a source name.
(streams_basic:sourcename/1
)
-String
is a string (a list of character codes).
(basic_props:string/1
)
Usage: stream_to_string(+Stream,-String)
Stream
and returns them in String
.
+Stream
is an open stream.
(streams_basic:stream/1
)
-String
is a string (a list of character codes).
(basic_props:string/1
)
Go to the first, previous, next, last section, table of contents.