Outline

graph TD A[User UI] -->|Network POST| B(Go Server) B --> C{Prolog Engine} C -->|Valid| D[Apply State] C -->|Invalid| E[Return Error]