Նմանատիպ նյութեր: Non-Monotonic Extensions of Logic Programming :