now we may have a more powerful "Prolog" - LLM Agent, though not precise and correct somtimes.