category
best_first
¶
Best-first framework for general logic programs.
Author: Victor Lagerkvist
Version: 1:1:0
Date: 2019-03-08
Compilation flags:
static
Remarks:
(none)
Public predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)