Implicit explicit negation logic program door Jonker