I've said this before and I'll say it again: Any sufficiently advanced LLM is indistinguishable from Prolog.