ISO Prolog compatibility layer

Author(s): The Ciao Development Team.

This module provides some additional ISO Prolog predicates whose implementation is not yet complete.

Usage and interface

Library usage:
:- use_module(library(iso_incomplete)).
Exports:
- Predicates:
  open/4, close/1, close/2, stream_property/2.
- Regular Types:
  close_options/1, close_option/1, stream_prop/1.

Documentation on exports

PREDICATEabsolute_file_name/2

No further documentation available for this predicate.

PREDICATEopen/4

Usage:

Call and exit should be compatible with:
(stream_basic:stream/1)Arg3 is an open stream.
The following properties should hold at call time:
(stream_basic:sourcename/1)Arg1 is a source name.
(stream_basic:io_mode/1)Arg2 is an opening mode ('read', 'write' or 'append').
(stream_basic:open_option_list/1)Arg4 is a list of options for open/4.
The following properties should hold upon exit:
(stream_basic:stream/1)Arg3 is an open stream.

PREDICATEclose/1

Usage:

The following properties should hold at call time:
(stream_basic:stream/1)Arg1 is an open stream.
The following properties should hold upon exit:
(stream_basic:stream/1)Arg1 is an open stream.
The following properties should hold globally:
(basic_props:not_further_inst/2)Arg1 is not further instantiated.

PREDICATEclose/2

Usage:

The following properties should hold at call time:
(stream_basic:stream/1)Arg1 is an open stream.
(iso_incomplete:close_options/1)Arg2 is a list of close_option/1.
The following properties should hold upon exit:
(stream_basic:stream/1)Arg1 is an open stream.
(iso_incomplete:close_options/1)Arg2 is a list of close_option/1.
The following properties should hold globally:
(basic_props:not_further_inst/2)Arg1 is not further instantiated.
(basic_props:not_further_inst/2)Arg2 is not further instantiated.

REGTYPEclose_options/1

Usage:close_options(L)

L is a list of close_option/1.

REGTYPEclose_option/1

Usage:close_option(O)

O is an option for close/2:

close_option(force(true)).
close_option(force(false)).

PREDICATEstream_property/2

Usage:

Call and exit should be compatible with:
(stream_basic:stream/1)Arg1 is an open stream.
(iso_incomplete:stream_prop/1)Arg2 is a valid stream property:

stream_prop(input).
stream_prop(output).
stream_prop(file_name(File)) :-
    atm(File).
stream_prop(mode(Mode)) :-
    atm(Mode).
stream_prop(alias(Alias)) :-
    atm(Alias).

The following properties should hold upon exit:
(stream_basic:stream/1)Arg1 is an open stream.
(iso_incomplete:stream_prop/1)Arg2 is a valid stream property:

stream_prop(input).
stream_prop(output).
stream_prop(file_name(File)) :-
    atm(File).
stream_prop(mode(Mode)) :-
    atm(Mode).
stream_prop(alias(Alias)) :-
    atm(Alias).

REGTYPEstream_prop/1

Usage:stream_prop(P)

P is a valid stream property:

stream_prop(input).
stream_prop(output).
stream_prop(file_name(File)) :-
    atm(File).
stream_prop(mode(Mode)) :-
    atm(Mode).
stream_prop(alias(Alias)) :-
    atm(Alias).

PREDICATEset_input/1

No further documentation available for this predicate.

PREDICATEset_output/1

No further documentation available for this predicate.

PREDICATEat_end_of_stream/1

No further documentation available for this predicate.

PREDICATEget_code/2

No further documentation available for this predicate.

PREDICATEpeek_code/2

No further documentation available for this predicate.

PREDICATEput_code/2

No further documentation available for this predicate.