Application of Inductive Logic Programming to Discover Rules Governing the Three-Dimensional Topology of Protein Structure