ON THIS PAGE
Pretty-printing assertions
Author(s): Francisco Bueno.
This module defines some predicates which are useful for writing assertions in a readable form.
Usage and interface
- Library usage:
:- use_module(library(assertions/assrt_write)). - Exports:
Documentation on exports
Usage:write_assertion(Goal,Status,Type,Body,Dict,Flag)
Writes the (normalized) assertion to current output.
- Call and exit should be compatible with:
(assertions_props:assrt_status/1)Status is an acceptable status for an assertion.
(assertions_props:assrt_type/1)Type is an admissible kind of assertion.
(assertions_props:nabody/1)Body is a normalized assertion body.
(assertions_props:dictionary/1)Dict is a dictionary of variable names.
(assrt_write:status_flag/1)Flag is status or nostatus.
Usage:write_assertion(Stream,Goal,Status,Type,Body,Dict,Flag)
Writes the (normalized) assertion to stream Stream.
- Call and exit should be compatible with:
(assertions_props:assrt_status/1)Status is an acceptable status for an assertion.
(assertions_props:assrt_type/1)Type is an admissible kind of assertion.
(assertions_props:nabody/1)Body is a normalized assertion body.
(assertions_props:dictionary/1)Dict is a dictionary of variable names.
(assrt_write:status_flag/1)Flag is status or nostatus.
Usage:write_assertion_as_comment(Goal,Status,Type,Body,Dict,Flag)
Writes the (normalized) assertion to current output as a Prolog comment.
- Call and exit should be compatible with:
(assertions_props:assrt_status/1)Status is an acceptable status for an assertion.
(assertions_props:assrt_type/1)Type is an admissible kind of assertion.
(assertions_props:nabody/1)Body is a normalized assertion body.
(assertions_props:dictionary/1)Dict is a dictionary of variable names.
(assrt_write:status_flag/1)Flag is status or nostatus.
Usage:write_assertion_as_comment(Stream,Goal,Status,Type,Body,Dict,Flag)
Writes the (normalized) assertion to stream Stream as a Prolog comment.
- Call and exit should be compatible with:
(assertions_props:assrt_status/1)Status is an acceptable status for an assertion.
(assertions_props:assrt_type/1)Type is an admissible kind of assertion.
(assertions_props:nabody/1)Body is a normalized assertion body.
(assertions_props:dictionary/1)Dict is a dictionary of variable names.
(assrt_write:status_flag/1)Flag is status or nostatus.
Usage:write_assertion_as_double_comment(Goal,Status,Type,Body,Dict,Flag)
Writes the (normalized) assertion to current output as a Prolog double comment.
- Call and exit should be compatible with:
(assertions_props:assrt_status/1)Status is an acceptable status for an assertion.
(assertions_props:assrt_type/1)Type is an admissible kind of assertion.
(assertions_props:nabody/1)Body is a normalized assertion body.
(assertions_props:dictionary/1)Dict is a dictionary of variable names.
(assrt_write:status_flag/1)Flag is status or nostatus.
Usage:write_assertion_as_double_comment(Stream,Goal,Status,Type,Body,Dict,Flag)
Writes the (normalized) assertion to stream Stream as a Prolog double comment.
- Call and exit should be compatible with:
(assertions_props:assrt_status/1)Status is an acceptable status for an assertion.
(assertions_props:assrt_type/1)Type is an admissible kind of assertion.
(assertions_props:nabody/1)Body is a normalized assertion body.
(assertions_props:dictionary/1)Dict is a dictionary of variable names.
(assrt_write:status_flag/1)Flag is status or nostatus.
Documentation on imports
This module has the following direct dependencies:- System library modules:
format, assrt_lib, messages, assertions_props, vndict. - Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, regtypes.