如何在 clingo - (ASP) 中使用数据结构而不是命令行参数

问题描述

我从逻辑编程开始，我正在编写一个简单的程序来查找节点之间的最短路径。我唯一能真正理解的教程是关于命令参数的。

有没有一种方法可以将程序中的 Args 替换为诸如列表之类的硬编码结构？用asp可以吗？

<input type="date" id="selDate" placeholder="e.g. 20180925"> 

编辑 Args 是起始节点、结束节点、边

解决方法

我检查了指南和示例，发现只有实际需要从命令行调用 clingo 的示例，尽管您可以在程序内的 #script 标签中使用 python 代码。例如这个：https://github.com/potassco/clingo/blob/master/examples/clingo/addclause/addclause-py.lp

但是，我通常仅将 clingo 用作 python 库，您可以在此处找到一些示例代码： https://github.com/peschue/ai4eu-sudoku/blob/master/aspsolver/server.py