Neural-Symbolic and LLM Integration