Pretty-printing assertions

Author(s): Francisco Bueno Carrillo.

Version: 1.5#118 (2000/4/19, 18:13:43 CEST)

Version of last change: 1.5#2 (1999/11/29, 18:2:53 MET)

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

Usage and interface (`assrt_write`)

Library usage: :- use_module(library(assrt_write)).
Exports:
- Predicates: write_assertion/6, write_assertion_as_comment/6.
Other modules used:
- System library modules: format, assertions/assrt_lib, messages, assertions/assertions_props.

PREDICATE: write_assertion/6:

Usage: write_assertion(Goal,Status,Type,Body,Dict,Flag)

Description: Writes the (normalized) assertion to current output.
Call and exit should be compatible with: Status is an acceptable status for an assertion. (assertions_props:assrt_status/1) Type is an admissible kind of assertion. (assertions_props:assrt_type/1) Body is a normalized assertion body. (assertions_props:nabody/1) Dict is a dictionary of variable names. (assertions_props:dictionary/1) Flag is status or nostatus. (assrt_write:status_flag/1)

PREDICATE: write_assertion_as_comment/6:

Usage: write_assertion_as_comment(Goal,Status,Type,Body,Dict,Flag)

Description: Writes the (normalized) assertion to current output as a Prolog comment.
Call and exit should be compatible with: Status is an acceptable status for an assertion. (assertions_props:assrt_status/1) Type is an admissible kind of assertion. (assertions_props:assrt_type/1) Body is a normalized assertion body. (assertions_props:nabody/1) Dict is a dictionary of variable names. (assertions_props:dictionary/1) Flag is status or nostatus. (assrt_write:status_flag/1)