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)