object

`bup_interpreter`

Semi-naive bottom-up interpreter for general (stratified) logic programs. Magic transformation is realized through an expansion hook.

Author: Ulf Nilsson. Ported to Logtalk and augmented with negation by Victor Lagerkvist.
Version: 1:1:2
Date: 2022-05-23

Compilation flags:

static, context_switching_calls

Implements:

public interpreterp

Uses:

counter
list
magic
term

Remarks:

(none)

Inherited public predicates:

prove/2 prove/3

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)