Block comment. Anything between /* and */ is ignored by the parser. It may cover several rows.
The argument has to be a goal. If the goal succeed, return "no". If it failed, return "yes".
The 3 basics list operators:
- [ beginning of a list.
- ] end of a list
- | head and tail separator
4 basic math operators + - * /
basic math comparison operators: > >= =< < =:= =\=
Force evaluation of each side arguments, then compare them, then succeed or fail.
The argument has to be a goal. If the goal succeed, return "no". If it failed, return "yes".
?-trace.
and ?-notrace.
predicates activate ore deactivate the tracing utility.
Alternatively, you may click the buttons in the ribbon: console and ?-trace/notrace.