object
hook_set(Set)
¶
Set
- Set (list) of hook objects
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
expandingPublic interface¶
(see related entities)
Protected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)