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 expanding

Public interface

(see related entities)

Protected interface

(see related entities)

Private predicates

(see related entities)

Operators

(none)

Remarks

(none)