Logic Tensor Network