Incomplete ISO Prolog predicates
Author(s): The CLIP Group.
This module implements some ISO Prolog predicates, but that are not complete yet.
Usage and interface
- Library usage:
:- use_module(library(iso_incomplete)). - Exports:
- Predicates:
close/2, stream_property/2.
- Predicates:
- Imports:
- Packages:
prelude, nonpure, assertions, isomodes.
- Packages:
Documentation on exports
PREDICATE
Usage:
- The following properties should hold at call time:
(streams_basic:stream/1)Arg1 is an open stream.
(iso_incomplete:close_options/1)iso_incomplete:close_options(Arg2) - The following properties should hold upon exit:
(streams_basic:stream/1)Arg1 is an open stream.
(iso_incomplete:close_options/1)iso_incomplete:close_options(Arg2) - 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.
PREDICATE
Usage:
- Call and exit should be compatible with:
(streams_basic:stream/1)Arg1 is an open stream.
(iso_incomplete:stream_prop/1)Arg2 is a valid stream property. - The following properties should hold upon exit:
(streams_basic:stream/1)Arg1 is an open stream.
(iso_incomplete:stream_prop/1)Arg2 is a valid stream property.
