Logic-LfD: logic learning from demonstrations for multi-step manipulation tasks - View it on GitHub