arXiv:2502.09222v1 通告类型: 新增 摘要: 我们介绍了clinguin，一个基于ASP的用户界面设计系统。Clinguin通过让ASP开发人员直接在ASP中构建交互原型来简化用户界面的开发，从而免去使用单独的前端语言的需要。为了实现这一目标，clinguin使用了几条专门的谓词来定义用户界面和用户触发的事件的处理方式。这种简单的设计极大地促进了对ASP系统（我们的情况是clingo）中用户交互的规范说明。