• 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.01
Date: 2019/6/13
Compilation flags:
static, context_switching_calls
public expanding
  • Usage: Compile source files that should be expanded using the set of hook objects using the compiler option hook(hook_set(Set)).

Public predicates

(see entity ancestors)

Protected predicates

(see entity ancestors)

Private predicates

(see entity ancestors)