Logic Tensor Networks