MERLIN (Model Extraction by Regular Language INference) is an inductive logic programming (ILP) system that uses an overly general hypothesis in the form of a logic program together with sets of positive and negative examples in order to find an inductive hypothesis which entails all positive examples but no negative examples. | 
