prolog data types for inferering rules in DTree