Neural-Symbolic Integration: A Compositional Perspective