If I perfectly know all the guardrails I need, I don't need an LLM, only Prolog.