The ISO Prolog standard notes head (of a rule): A predication, distinguished by its context. predication: A predicate with arity N and a sequence of N arguments. predicate: An identifier together with an arity. clause: A fact or a rule. It has two parts: a head, and a body. clause noted…

What is the difference between head and predication

JCR September 24, 2021, 6:47pm 2

I also find this confusing. Reminds me of this discussion.

1 Like