Learning logic programs by discovering higher-order abstractions

Re-assign community