Logic and control

abort/0

stops execution of the procedural process....

::(Apply)/2

apply a method to an object...

break

creates a new input-loop....

call/1

executes a goal....

fcall/1

Executes a goal only once and throws an exception if the goal fails....

catch/3

snatches errors generated during the execution of a goal....

','(Conjunction)/2

executes two goals....

!(Cut)/0

causes the goal to succeed only once....

';'(Disjunction)/2

executes one of two goals....

<-(Eval)/2

evaluates a function...

fail/0

forces a failure....

halt/0/1

stops execution and leaves MINERVA....

->(If-then)/2

causes that one goal implicates another goal....

';'(If-then-else)/2

causes that one goal implicates alternative goals....

'\+'/1

succeeds if the goal fails and fails if the goal succeeds. ...

once/1

executes a goal only once....

repeat/0

succeeds always....

throw/1

raises an error and returns to the closest point which can catch that leap. ...

true/0

succeeds exactly once. ...