assertions — Logtalk APIs v3.47.0 documentation

object

# `assertions`

Proxy object for simplifying the use of the assertion meta-predicates.

Author: Paulo Moura
Version: 2:0:0
Date: 2014-04-03
Compilation flags:
`static, context_switching_calls`
Extends:
`public` assertions(_)
Remarks:
(none)
Inherited public predicates:
assertion/1 assertion/2 goal_expansion/2 term_expansion/2

- Public predicates

- Protected predicates

- Private predicates

- Operators

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)