solve-prolog/it.unibo.tuprolog.solve.prolog/ChoicePointContext/executionContextProcedure

executionContextProcedure

val executionContextProcedure: Struct?

Shorthand for executionContext's PrologExecutionContext.procedure, or null if executionContext is null.