category
best_first
¶
Best-first framework for general logic programs.
Author: Victor Lagerkvist
Version: 1.1
Date: 2019/3/8
Compilation flags:
static
Implements:
public
interpreterpPublic interface¶
(see related entities)
Protected interface¶
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 related entities)
Operators¶
(none)
Remarks¶
(none)