DOLPHIN is a system which combines Inductive Logic Programming (i.e. FOIL) and Explanation-Based Learning (i.e. EBG) to learn search-control rules for eliminating backtracking in Prolog programs. For more information and to download the system, click here.