Stav dette: Learning logic programs by discovering where not to search