AbstractState

constructor(context: PrologExecutionContext)