category

best_first

Best-first framework for general logic programs.

Author: Victor Lagerkvist
Version: 1.1
Date: 2019/3/8
Compilation flags:
static
Implements:
Uses:
Remarks:
(none)

Public predicates

(see entity ancestors)

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

(see entity ancestors)

Operators

(none)