Mercurial > repos > other > SevenLanguagesInSevenWeeks

comparison 3-Prolog/day1-unification.pl @ 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
children
comparison
equal deleted inserted replaced
53:005ae3fad18f 54:91d02b3d74f8
1 % "=" isn't assignment in Prolog, it is "unification" - finding something where
2 % both structures are identical
3 cat(lion).
4 cat(tiger).
5
6 % This rule makes sure that X, Y and Z match a lion, a tiger and a bear (oh my!)
7 dorothy(X, Y, Z) :- X = lion, Y = tiger, Z = bear.
8
9 % This rule checks whether both things are cats, if so then they are "twin_cats"
10 twin_cats(X, Y) :- cat(X), cat(Y).