Incomplete ISO Prolog predicates

Author(s): The Ciao Development Team.

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

Usage and interface

Documentation on exports

PREDICATEclose/2

Usage:

Usage:close_options(L)

L is a list of close_option/1.

    Usage:close_option(O)

    O is an option for close/2:

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

      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).
        
      • 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).
        

      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).
      

        Documentation on imports

        This module has the following direct dependencies:

        Known bugs and planned improvements

        • Merge with iso.pl and simply mark these predicates in the documentation as incomplete?
        • Options not completely implemented.
        • Incomplete list of options.
        • stream_prop/1 is not complete wrt iso standard.
        • at_end_of_stream :- not_yet_implemented.
        • at_end_of_stream(_) :- not_yet_implemented.
        • set_stream_position(_,_) :- not_yet_implemented.
        • char_conversion(_,_) :- not_yet_implemented.
        • current_char_conversion(_,_) :- not_yet_implemented.