A value derived from the clauses of the predicate functor/arity (newest first), named name: computed once, until the predicate changes (the branches sharing the predicate share it)