A discriminative method for family-based protein remote homology detection that combines inductive logic programming and proposi