inverse resolution

1. REDIRECT Inductive logic programming#Inverse resolution

{{R from merge}}

{{R to section}}