Learn with Higher Logic