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(assrt_write)). - Exports:
- Imports:
- System library modules:
format, assertions/assrt_lib, messages, assertions/assertions_props, vndict. - Packages:
prelude, nonpure, assertions, regtypes.
- System library modules:
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.
(dict:dictionary/1)Dict is a dictionary.
(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.
(dict:dictionary/1)Dict is a dictionary.
(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.
(dict:dictionary/1)Dict is a dictionary.
(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.
(dict:dictionary/1)Dict is a dictionary.
(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.
(dict:dictionary/1)Dict is a dictionary.
(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.
(dict:dictionary/1)Dict is a dictionary.
(assrt_write:status_flag/1)Flag is status or nostatus.
