summaryrefslogtreecommitdiff
path: root/stdlib.pl
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-01 19:55:40 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-01 19:55:40 +0000
commite5ab41faf611c61878ad792cbaaf0294cd5715dd (patch)
tree20bc65a2669645ba3eae9b9d3b9165ecf03c9bcf /stdlib.pl
parent329c6975c44fcbe1cf7c9d93ab6164495f432213 (diff)
Add exceptions :) implement catch/3 and throw/1
Diffstat (limited to 'stdlib.pl')
-rw-r--r--stdlib.pl2
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib.pl b/stdlib.pl
index cceada6..f67a4a4 100644
--- a/stdlib.pl
+++ b/stdlib.pl
@@ -26,6 +26,8 @@ If ; _ :-
_ ; Else :-
Else.
+A , B :- A , B.
+
% Term unification
A = A.