Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge