summaryrefslogtreecommitdiff
path: root/example.pl
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-29 18:46:18 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-29 18:46:18 +0000
commit9799fbd9e8c7fd186365c628bf2024d458dafc75 (patch)
treebc077b6dd46e3922dd1b7ac38631e7039d4cc9bf /example.pl
parenta27a5c52f5efeac5165b4dddcb90f207853cc1f5 (diff)
Understand :-initialization(Goal) directive
Diffstat (limited to 'example.pl')
-rw-r--r--example.pl5
1 files changed, 3 insertions, 2 deletions
diff --git a/example.pl b/example.pl
index 6fff9b3..8f5f0c2 100644
--- a/example.pl
+++ b/example.pl
@@ -16,10 +16,11 @@ likes(sam, ice).
could_be_friends(Person1, Person2) :-
likes(Person1, Thing1),
likes(Person2, Thing2),
- !,
Thing1 = Thing2.
list1(A) :- A = [1,2,3,4].
list2(A) :- A = [a,b|c].
-curly(A) :- A = {one,two,three}. \ No newline at end of file
+curly(A) :- A = {one,two,three}.
+
+:- initialization(could_be_friends(bob, sam)). \ No newline at end of file