Text this: Non-monotonic extensions of logic programming :