From 85adea62d7e8eee9d0e3525d572325db4e58d21a Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Wed, 30 Jun 2021 23:30:13 +0000 Subject: Allow the repl to backtrack to give alternative results --- stdlib.pl | 3 +++ 1 file changed, 3 insertions(+) (limited to 'stdlib.pl') diff --git a/stdlib.pl b/stdlib.pl index b0f2160..ecf7417 100644 --- a/stdlib.pl +++ b/stdlib.pl @@ -16,10 +16,13 @@ If -> Then :- If -> Then ; _ :- If, !, Then. + _ -> _ ; Else :- !, Else. + If ; _ :- If. + _ ; Else :- Else. -- cgit v1.2.3