Pretty-printing assertions

Author(s): Francisco Bueno Carrillo.

Version: 1.10#7 (2006/4/26, 19:22:13 CEST)

Version of last change: 1.9#320 (2004/3/3, 18:29:59 CET)

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)