The canonical clause functor: :- (same as Clause.FUNCTOR).
:-
Creates a Fact with the given head.
Creates a Fact template: a head with functor and arity anonymous-variable arguments. See Struct.template.