This module implements some miscellaneous non-logical (but sometimes very useful) predicates.
Replace destructively argument Index in Term by NewArg. The assignment is undone on backtracking. This is a major change to the normal behavior of data assignment in Ciao Prolog.
call(Goal) is executed on backtracking. This is a major change to the normal control of Ciao Prolog execution.