1 files changed, 10 insertions, 0 deletions
diff --git a/stdlib.pl b/stdlib.pl
index bca7e31..19b20d0 100644
--- a/stdlib.pl
+++ b/stdlib.pl
@@ -683,6 +683,16 @@ current_op(Priority, Op_specifier, Operator) :-
 	current_ops(Operators),
 	member(op(Priority, Op_specifier, Operator), Operators).
 
+% Halting
+
+halt(X) :-
+	is_nonvar(X),
+	is_integer(X),
+	'$halt'(X).
+
+halt :-
+	halt(0).
+
 % Loading prolog text
 
 consult(File) :-