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
How does prolog tell the difference between atoms and zero arity predicates? General	4	80	April 2, 2025
Predicate member/2 - Reflections based on "The Craft of Prolog" by Richard O'Keefe Discussion	19	713	August 10, 2024
ChatGPT prompts - Prolog - Basics Wiki chatgpt	0	1528	February 17, 2023
Is the definition of "predicate" correct in the Glossary of Terms? General	35	2783	September 30, 2021
Beginner's quick chart of Prolog comparison predicates Nice to know	4	576	April 5, 2020