--- /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