αρχείο Email: Logic programming and non-monotonic reasoning :