object

# `dfs_interpreter`

Depth-first interpreter for general logic programs.

Availability:
`logtalk_load(verdi_neruda(loader))`
Author: Victor Lagerkvist
Version: 1:0:0
Date: 2010-06-13
Compilation flags:
`static, context_switching_calls`
Implements:
`public` interpreterp
Uses:
counter
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)