Constaints and negations in logic programming by C.M. Jonker