evalAsExpression

Evaluates this Term as an expression against request's context-loaded functions, reducing evaluable sub-terms in place via ExpressionEvaluator; a non-evaluable sub-term raises a it.unibo.tuprolog.solve.exception.error.TypeError. index is used only to enrich that error, identifying which argument of request this term came from.