The journal of logic programming.