summaryrefslogtreecommitdiff
path: root/example.pl
diff options
context:
space:
mode:
Diffstat (limited to 'example.pl')
-rw-r--r--example.pl1
1 files changed, 1 insertions, 0 deletions
diff --git a/example.pl b/example.pl
index f5305d9..6fff9b3 100644
--- a/example.pl
+++ b/example.pl
@@ -16,6 +16,7 @@ likes(sam, ice).
could_be_friends(Person1, Person2) :-
likes(Person1, Thing1),
likes(Person2, Thing2),
+ !,
Thing1 = Thing2.
list1(A) :- A = [1,2,3,4].