Stephen H. Muggleton: A Strategy for Constructing New Predicates in First-Order Logic. EWSL 1988: 123-130