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

Inherited public predicates:

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)