Revision as of 06:09, 5 November 2019 edit 117.211.160.77 (talk) →Prolog ← Previous edit		Revision as of 09:23, 5 November 2019 edit undo Tea2min (talk \| contribs) Extended confirmed users, Pending changes reviewers 21,975 edits Undid revision 924668795 by 117.211.160.77 (talk): ? Tag: Undo Next edit →
Line 93: ====Examples==== The following example demonstrates two facts (describing what ''father'' is) and one rule (describing the ''meaning'' 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).

Symbol (programming): Difference between revisions