s(ASP):实现稳定的模型语义，无需接地。-开源

s（ASP）是逻辑编程的稳定模型语义的实现。 与类似的系统不同，它不采用任何形式的接地。 这允许s（ASP）执行不是有限基础的程序，包括那些使用列表和术语的程序。 关于s（ASP）的研究得到了美国国家科学基金会（National Science Foundation）的资助，编号为1423419。有关s（ASP）的工作原理的详细信息，请参见以下文章：Marple，Kyle，Elmer Salazar和Gopal Gupta。 “计算正常逻辑程序的稳定模型而无需接地。” arXiv预印本arXiv：1709.00501（2017）（https://arxiv.org/abs/1709.00501）。