Add Machine::run_input_once() which reads one goal from user input and runs it

2023-07-11 14:24:30 +02:00
parent 95b31146b5
commit 112d398175
2 changed files with 7 additions and 0 deletions
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -430,3 +430,6 @@ print_exception_with_check(E) :-
    % is expected to be printed instead.
    ;  print_exception(E)
    ).
+
+run_input_once :-
+    catch(read_and_match, E, print_exception(E)).