Conditional Reasoning in Logic Programming