Pretty-printing assertions

Author(s): Francisco Bueno.

This module defines some predicates which are useful for writing assertions in a readable form.

Documentation on exports

PREDICATE

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.

PREDICATE

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.

PREDICATE

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.

PREDICATE

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.

PREDICATE

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.

PREDICATE

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.