object

hook_set(Set)

Use a set (represented using a list) of hook objects to expand terms and goals. The hook objects are tried in sequence until one of them succeeds in expanding the current term (goal) into a different term (goal).

author:
Paulo Moura
version:
1.0
date:
2015/11/16
compilation flags:
static, context_switching_calls
implements:
public expanding

Public interface

(see related entities)

Protected interface

(see related entities)

Private predicates

(see related entities)

Operators

(none)

Remarks

(none)