Entity: predicate


Terminates the execution and writes a message in the Output window.

After this software termination of the program you can force the Interpreter to look for other answers by pressing New Answer (F8 ). Nevertheless the program will not continue from the place where it was stopped. The reason is that the mechanism of backtracking will search for other answers and this one which was terminated would not be found. It is easier to understand this if you imagine that after every terminate(X) there is one fail .

The message which will be written in the Output window depends on the parameter Message .

i) If Message is not-instantiated then the standard message will be displayed: "Software termination."
ii) If Message is a string then this string will be displayed.
iii) If Message is a term then this term will be written.