Text this: Game semantics for non-monotonic intensional logic programming.