category

# `best_first`

Best-first framework for general logic programs.

Availability:
`logtalk_load(verdi_neruda(loader))`
Author: Victor Lagerkvist
Version: 1:1:0
Date: 2019-03-08
Compilation flags:
`static`
Implements:
`public` interpreterp
Uses:
counter
minheap
Remarks:
(none)
Inherited public predicates:
prove/2 prove/3

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

### `f/4`

.

Compilation flags:
`static`
Template:
`f(Length1,Length2,Depth,Cost)`
Mode and number of proofs:
`f(+float,+float,+float,-float)` - `zero_or_more`

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)