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