☰

DEC-10 Prolog file IO

This module implements the support for DEC-10 Prolog style file I/O.

Usage and interface

Documentation on exports

PREDICATEsee/1

Usage:see(File)

  • The following properties should hold at call time:
    (term_typing:atom/1)File is currently instantiated to an atom.

PREDICATEseeing/1

Usage:seeing(File)

  • The following properties should hold upon exit:
    (term_typing:atom/1)File is currently instantiated to an atom.

PREDICATEseen/0
No further documentation available for this predicate.

PREDICATEtell/1

Usage:tell(File)

  • The following properties should hold at call time:
    (term_typing:atom/1)File is currently instantiated to an atom.

PREDICATEtelling/1

Usage:telling(File)

  • The following properties should hold upon exit:
    (term_typing:atom/1)File is currently instantiated to an atom.

PREDICATEtold/0
No further documentation available for this predicate.

PREDICATEclose_file/1
No further documentation available for this predicate.

Documentation on imports

This module has the following direct dependencies:
Generated with LPdoc using Ciao