The journal of logic programming (North-Holland)