halt( +Integer ) [ISO]

This predicate stops the execution of the top-level goal of the current prolog program. The ISO Prolog Standard states that how the integer argument can be used is implementation dependant. The current version of Trinc-Prolog ignores the integer value of the argument and stops without displaying a message.

see also: abort/0 abort/1 always/2 call/1 catch/2 catch/3 fail/0 halt/0 if-then/2 if-then-else/2 once/1 repeat/0 throw/1 true/0

Exceptions
the parameter Integer is a variable an instantiation_error exception is thrown
the parameter Integer is neither a variable nor an integer a type_error(integer, A) is thrown, the variable A is replaced with the value of the parameter Integer

 

 

info@trinc-prolog.com