{Negation in Logic Programming}