Correct combinations of bit(X), color(Y) (#1)

brunokim · Mar 16, 2022 · f3ffb77 · f3ffb77
1 parent 64f1312
commit f3ffb77
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/about-prolog.md b/docs/about-prolog.md
@@ -47,7 +47,8 @@ We may query for all combinations of bits and colors by querying for both `bit(X
   X = 0, Y = green ;
   X = 0, Y = blue ;
   X = 1, Y = red ;
-  X = 1, Y = green .
+  X = 1, Y = green ;
+  X = 1, Y = blue .
 ```
 
 Note that `bit(X), color(X)` can't be satisfied, because there's no `color(0)` or `bit(red)` that would satisfy both facts simultaneously: