Eitemau Tebyg: Logic Programming and Nonmonotonic Reasoning :