category
best_first¶
Best-first framework for general logic programs.
Author: Victor Lagerkvist
Version: 1.1
Date: 2019/3/8
Compilation flags:
staticImplements:
public interpreterpPublic interface¶
(see related entities)
Protected interface¶
f/4¶
.
Compilation flags:
staticTemplate:
f(Length1,Length2,Depth,Cost)Mode and number of proofs:
f(+float,+float,+float,-float) - zero_or_morePrivate predicates¶
(see related entities)
Operators¶
(none)
Remarks¶
(none)