category

best_first

Best-first framework for general logic programs.

author:
Victor Lagerkvist
version:
1.0
date:
2010/6/13
compilation flags:
static
implements:
public interpreterp

Public interface

(see related entities)

Protected interface

f/4

.

compilation flags:
static
template:
f(Length1,Length2,Depth,Cost)
mode – number of proofs:
f(+float,+float,+float,-float) – zero_or_more

Private predicates

(see related entities)

Operators

(none)

Remarks

(none)