diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl
index dc58c386..f2adba33 100644
--- a/src/prolog/toplevel.pl
+++ b/src/prolog/toplevel.pl
@@ -158,6 +158,8 @@
        '$read_input'(ThreadedGoals, NewVarList)
     ;  C == (';') ->
        nl, write(';  '), false
+    ;  C == (' ') ->
+       nl, write(';  '), false
     ;  C == h ->
        '$help_message',
        '$read_input'(ThreadedGoals, NewVarList)