object

assertions

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

Availability:

logtalk_load(assertions(loader))

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)

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)