summaryrefslogtreecommitdiff
path: root/example.pl
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 02:01:46 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 02:01:46 +0000
commit67e8b85a9f9b42acc896b44eb2ea1310e749f03a (patch)
tree90a6ba153a3d8b80f8ec8a9feff338ca9d1ff11e /example.pl
parent2c3e688c3f779f0abfaad887f13ab2b70c9f814a (diff)
Treat the variable _ differently, in that it doesn't introduce a new binding
Diffstat (limited to 'example.pl')
-rw-r--r--example.pl2
1 files changed, 2 insertions, 0 deletions
diff --git a/example.pl b/example.pl
index 64f08ab..74387b1 100644
--- a/example.pl
+++ b/example.pl
@@ -32,3 +32,5 @@ length([Head|Tail], suc(Length)) :-
:- initialization(could_be_friends(bob, sam)).
:- initialization(length([a,b,c,d], Len)).
+
+:- initialization(length(_,_)). \ No newline at end of file