StateInit

constructor(context: PrologExecutionContext)