I always thought that Prolog is great for reasoning in the semantic web. It doesn't surprise me that LLM people stumble on it.