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
Predicate member/2 - Reflections based on "The Craft of Prolog" by Richard O'Keefe Discussion	19	687	August 10, 2024
ChatGPT prompts - Prolog - Basics Wiki chatgpt	0	1460	February 17, 2023
Is the definition of "predicate" correct in the Glossary of Terms? General	35	2766	September 30, 2021
Beginner's quick chart of Prolog comparison predicates Nice to know	4	566	April 5, 2020
Exclude certain predicates from a trace? Help!	4	1229	June 12, 2019