Make Knowledge Computable: Towards Differentiable Neural-Symbolic Ai