CHILLIN
CHILLIN is an ILP system which integrates top-down search (a la FOIL), bottom-up search (a la GOLEM) and predicate invention (a la CHAMP). It has been used as the induction algorithm underlying the CHILL natural-language parser learning system. For more information and to download the system, click here.