×

DLV综合体

swMATH ID: 4434
软件作者: 弗朗西斯科·卡利默里;苏珊娜·科萨;Giovambattista Ianni;尼古拉·莱昂内
描述: DLV-Complex是一个通过函数扩展DLV的答案集编程系统。它是一个非常强大的ASP系统,支持(递归)函数、集合和列表,以及用于操作它们的库。DLV-Complex基于DLV系统和DLV-EX框架,它继承了定义外部谓词的可能性。
主页: https://www.mat.unical.it/dlv-complex网站
关键词: ASP公司;答案集编程
相关软件: DLV-EX公司;接通DLV;CiaoPP公司;Ciao公司;斯莫德尔斯
引用于: 3文件

0连载引用

在1个字段中引用

计算机科学(68-XX)

按年份列出的引文