Neural-Symbolic Integration: The Road Ahead