Symbol (programming): Difference between revisions

Content deleted Content added
removed the whitespace between the functor names and the following parens with the argument list. The Prolog ISO draft explicitly forbids them.
m Examples: meaining → meaning
Line 79:
 
====Examples====
The following example demonstrates two facts (describing what ''father'' is) and one rule (describing the ''meainingmeaning'' of ''sibling''). These three sentences use symbols (father, zeus, hermes, perseus and sibling) and some abstract variables (X, Y and Z). The ''mother'' relationship has been omitted for clarity.
<source lang="prolog">
father(zeus, hermes).