Revision as of 22:56, 7 September 2019 edit InternetArchiveBot (talk \| contribs) Bots, Pending changes reviewers 5,685,700 edits Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 ← Previous edit		Revision as of 06:09, 5 November 2019 edit undo 117.211.160.77 (talk) →Prolog 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