Mercurial > repos > other > SevenLanguagesInSevenWeeks

changeset 54:91d02b3d74f8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Write up "unification" code
author IBBoard <dev@ibboard.co.uk>
date Tue, 26 Sep 2017 20:26:18 +0100
parents 005ae3fad18f
children 3a20e8b49bc4
files 3-Prolog/day1-unification.pl
diffstat 1 files changed, 10 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/3-Prolog/day1-unification.pl	Tue Sep 26 20:26:18 2017 +0100
@@ -0,0 +1,10 @@
+% "=" isn't assignment in Prolog, it is "unification" - finding something where
+% both structures are identical
+cat(lion).
+cat(tiger).
+
+% This rule makes sure that X, Y and Z match a lion, a tiger and a bear (oh my!)
+dorothy(X, Y, Z) :- X = lion, Y = tiger, Z = bear.
+
+% This rule checks whether both things are cats, if so then they are "twin_cats"
+twin_cats(X, Y) :- cat(X), cat(Y).
\ No newline at end of file