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

Topic		Replies	Views
Is the definition of "predicate" correct in the Glossary of Terms? General	35	2787	September 30, 2021
Library(yall) appears to be confusing predicate_property/2, clause/3 Help! bug	4	332	July 9, 2021
Confusion over functor versus predicate -- and predicates in general General	15	155	April 26, 2025
Is there a meta_predicate tutorial? Predicate	14	1729	October 2, 2020
predicate_property(:Head, exported) returning false? General bug	7	54	April 21, 2025