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)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)