在浏览器中直接用 Scryer Prolog 建模并推理 BPMN 流程

一个浏览器端工具用 Scryer Prolog 将 BPMN 流程建模为 Prolog 项，并通过 bpmn-js 实时绘制流程图。编辑时先做语法预检查，停顿 250 ms 后将子句逐条载入 Web Worker 中的 Scryer Prolog，经 bpmn_check/2 校验并转为 BPMN 2.0 XML，出错元素在图中标红。