PROTOtypical Logic Tensor Networks (PROTO-LTN) for Zero Shot Learning