A bit of logic programming.