Learning higher-order logic programs

Re-assign community