Author(s): Francisco Bueno Carrillo.
Version: 1.3#120 (1999/11/26, 12:5:17 MET)
Version of last change: 1.3#45 (1999/8/5, 14:43:7 MEST)
This module defines some predicates which are useful for writing assertions in a readable form.
assrt_write
)assrt_write
)
Usage: write_assertion(Goal,Status,Type,Body,Dict,Flag)
undefined:assertion_status(Status)
(undefined property)
Type
is an admissible kind of assertion.
(assrt_props:assrt_type/1
)
undefined:assertion(Body)
(undefined property)
undefined:dictionary(Dict)
(undefined property)
Flag
is status
or nostatus
.
(assrt_write:status_flag/1
)
Usage: write_assertion_as_comment(Goal,Status,Type,Body,Dict,Flag)
undefined:assertion_status(Status)
(undefined property)
Type
is an admissible kind of assertion.
(assrt_props:assrt_type/1
)
undefined:assertion(Body)
(undefined property)
undefined:dictionary(Dict)
(undefined property)
Flag
is status
or nostatus
.
(assrt_write:status_flag/1
)
Go to the first, previous, next, last section, table of contents.