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