(1) To derive new principles governing the formation of protein folds such as common substructures and the relationship between local sequence and tertiary structure. (2) To challenge a new program (PROGOL) for data mining using ILP by applying it to a complex real-world (biological) problem. (3) To develop a Web server for dissemination of the methodology.