object

# `iddfs_interpreter(Increment)`

Iterative deepening depth-first interpreter for general logic programs. Based on source code from The Craft of Prolog, by Richard O’Keefe. The default value for the increment is 1.

Author: Victor Lagerkvist
Version: 1.0
Date: 2010/6/13
Compilation flags:
`static, context_switching_calls`
Implements:
`public` interpreterp
Uses:
counter
dfs_interpreter
Remarks:
(none)
Inherited public predicates:
prove/2 prove/3

- Public predicates

- Protected predicates

- Private predicates

- Operators

## 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)