summaryrefslogtreecommitdiff
path: root/example.pl
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-29 16:38:09 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-29 16:38:09 +0000
commit2d7f3ffa770b6eb698566b6566d7e37f10193744 (patch)
treefd16e18b74e538c0942d65c43982abbc5242cb2c /example.pl
parent8fdf0bc6e9770e2cea4d8e18299ff5a8a9aa0802 (diff)
Parse , and make xfy do what it should
Diffstat (limited to 'example.pl')
-rw-r--r--example.pl11
1 files changed, 10 insertions, 1 deletions
diff --git a/example.pl b/example.pl
index 8037d1c..dce8533 100644
--- a/example.pl
+++ b/example.pl
@@ -2,4 +2,13 @@
math(A,B,C,D) :- D is A + B + C * A.
-true. \ No newline at end of file
+true.
+
+likes(bob, ice).
+likes(sam, text).
+likes(sam, ice).
+
+could_be_friends(Person1, Person2) :-
+ likes(Person1, Thing1),
+ likes(Person2, Thing2),
+ Thing1 = Thing2. \ No newline at end of file