Rationale, Inductive Logic Programming system