Inductive Logic Programming system proposed and presented in Muggleton & Lin, 2013.