category
best_first
Best-first framework for general logic programs.
Author: Victor Lagerkvist
Version: 1:1:0
Date: 2019-03-08
Compilation flags:
staticRemarks:
(none)
Public predicates
(no local declarations; see entity ancestors if any)
Protected predicates
f/4
.
Compilation flags:
staticTemplate:
f(Length1,Length2,Depth,Cost)Mode and number of proofs:
f(+float,+float,+float,-float) - zero_or_morePrivate predicates
(no local declarations; see entity ancestors if any)
Operators
(none)