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 ¶

(no local declarations; see entity ancestors if any)

(no local declarations; see entity ancestors if any)

(no local declarations; see entity ancestors if any)

(none)