diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 23:30:13 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 23:30:13 +0000 |
| commit | 85adea62d7e8eee9d0e3525d572325db4e58d21a (patch) | |
| tree | e976789abf464f9868f9a12778285329db785d7a /stdlib.pl | |
| parent | fa83d3f1aba932e99833244ebb38b7415b142bd7 (diff) | |
Allow the repl to backtrack to give alternative results
Diffstat (limited to 'stdlib.pl')
| -rw-r--r-- | stdlib.pl | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -16,10 +16,13 @@ If -> Then :- If -> Then ; _ :- If, !, Then. + _ -> _ ; Else :- !, Else. + If ; _ :- If. + _ ; Else :- Else. |