ON THIS PAGE
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/3, open/4, close/1, close/2, stream_property/2, set_stream_position/2. - Regular Types:
close_options/1, close_option/1, stream_property/1.
- Predicates:
Documentation on exports
PREDICATEabsolute_file_name/2
No further documentation available for this predicate.
PREDICATEopen/3
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'). - The following properties should hold upon exit:
(stream_basic:stream/1)Arg3 is an open stream.
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:
(iso_incomplete:stream_or_alias/1)iso_incomplete:stream_or_alias(Arg1) - The following properties should hold upon exit:
(iso_incomplete:stream_or_alias/1)iso_incomplete:stream_or_alias(Arg1) - 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:
(iso_incomplete:stream_or_alias/1)iso_incomplete:stream_or_alias(Arg1)
(iso_incomplete:close_options/1)Arg2 is a list of close_option/1. - The following properties should hold upon exit:
(iso_incomplete:stream_or_alias/1)iso_incomplete:stream_or_alias(Arg1)
(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
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_property/1)Arg2 is a valid stream property:stream_property(input). stream_property(output). stream_property(file_name(File)) :- atm(File). stream_property(mode(Mode)) :- atm(Mode). stream_property(type(Type)) :- atm(Type). stream_property(alias(Alias)) :- atm(Alias). stream_property(end_of_stream(EOS)) :- end_of_stream_t(EOS). - The following properties should hold upon exit:
(stream_basic:stream/1)Arg1 is an open stream.
(iso_incomplete:stream_property/1)Arg2 is a valid stream property:stream_property(input). stream_property(output). stream_property(file_name(File)) :- atm(File). stream_property(mode(Mode)) :- atm(Mode). stream_property(type(Type)) :- atm(Type). stream_property(alias(Alias)) :- atm(Alias). stream_property(end_of_stream(EOS)) :- end_of_stream_t(EOS).
REGTYPEstream_property/1
Usage:stream_property(P)
P is a valid stream property:
stream_property(input).
stream_property(output).
stream_property(file_name(File)) :-
atm(File).
stream_property(mode(Mode)) :-
atm(Mode).
stream_property(type(Type)) :-
atm(Type).
stream_property(alias(Alias)) :-
atm(Alias).
stream_property(end_of_stream(EOS)) :-
end_of_stream_t(EOS).
PREDICATEset_stream_position/2
No further documentation available for this predicate.
PREDICATEset_input/1
No further documentation available for this predicate.
PREDICATEset_output/1
No further documentation available for this predicate.
PREDICATEflush_output/1
No further documentation available for this predicate.
PREDICATEcurrent_input/1
No further documentation available for this predicate.
PREDICATEcurrent_output/1
No further documentation available for this predicate.
PREDICATEat_end_of_stream/1
No further documentation available for this predicate.
PREDICATEget_code/1
No further documentation available for this predicate.
PREDICATEget_code/2
No further documentation available for this predicate.
PREDICATEpeek_code/1
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.
PREDICATEnl/1
No further documentation available for this predicate.
PREDICATEtab/2
No further documentation available for this predicate.
PREDICATEget_byte/1
No further documentation available for this predicate.
PREDICATEget_byte/2
No further documentation available for this predicate.
PREDICATEpeek_byte/1
No further documentation available for this predicate.
PREDICATEpeek_byte/2
No further documentation available for this predicate.
PREDICATEput_byte/1
No further documentation available for this predicate.
PREDICATEput_byte/2
No further documentation available for this predicate.
PREDICATEdisplay/2
No further documentation available for this predicate.
PREDICATEdisplayq/2
No further documentation available for this predicate.
PREDICATEget_char/1
No further documentation available for this predicate.
PREDICATEget_char/2
No further documentation available for this predicate.
PREDICATEpeek_char/1
No further documentation available for this predicate.
PREDICATEpeek_char/2
No further documentation available for this predicate.
PREDICATEput_char/1
No further documentation available for this predicate.
PREDICATEput_char/2
No further documentation available for this predicate.
PREDICATEread/1
No further documentation available for this predicate.
PREDICATEread/2
No further documentation available for this predicate.
PREDICATEread_term/2
No further documentation available for this predicate.
PREDICATEread_term/3
No further documentation available for this predicate.
PREDICATEwrite_term/2
No further documentation available for this predicate.
PREDICATEwrite_term/3
No further documentation available for this predicate.
PREDICATEwrite/1
No further documentation available for this predicate.
PREDICATEwrite/2
No further documentation available for this predicate.
PREDICATEwriteq/2
No further documentation available for this predicate.
PREDICATEwrite_canonical/2
No further documentation available for this predicate.
PREDICATEprint/2
No further documentation available for this predicate.
PREDICATEprintq/2
No further documentation available for this predicate.
PREDICATEportray_clause/2
No further documentation available for this predicate.
PREDICATEcurrent_op/3
No further documentation available for this predicate.
PREDICATEop/3
No further documentation available for this predicate.
Documentation on imports
This module has the following direct dependencies:- System library modules:
datafacts_rt, io_alias_redirection, iso_char, read, write, operators. - Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, isomodes, datafacts, hiord.