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.