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

Remarks:

(none)

Inherited public predicates:

prove/2 prove/3

Public predicates 

(no local declarations; see entity ancestors if any)

.

Compilation flags:

static

Template:

f(Length1,Length2,Depth,Cost)

Mode and number of proofs:

f(+float,+float,+float,-float) - zero_or_more

(no local declarations; see entity ancestors if any)

(none)