StateBacktracking

constructor(context: PrologExecutionContext)