本文介绍了使用 CLINGO 实现特殊目的系统的两种方法：元编程和应用程序接口。重点讨论了 ASP 在声明性流程挖掘中的应用，包括日志生成、一致性检查和查询检查。此外，研究了机器学习在 ASP 求解器中的应用，提出了新的编码模式和可解释性研究，以提升知识表示和推理的可靠性。