我们提出了 f{\ae}rdXel，一个用于丹麦交通法领域符号推理的工具。f{\ae}rdXel 将逻辑编程技术与一种新颖的界面相结合，允许用户浏览其推理过程，从而确保系统的可信度。初步的实证评估表明，这项工作被认为非常有前景，并有可能成为支持丹麦法律领域专业人士的现实世界 AI 工具的基础。