Advances in gringo Series 3
Advances in gringo Series 3
复制标题
DOI：
10.1007/978-3-642-20895-9_39
复制
发表时间：
2011-05
期刊：
影响因子：
--
通讯作者：
M. Gebser;Roland Kaminski;A. König;Torsten Schaub
中科院分区：
文献类型：
--
作者：
M. Gebser;Roland Kaminski;A. König;Torsten Schaub
我们描述了 groundergringo 的重大重新设计中出现的主要新功能，该功能建立在基于半朴素数据库评估的接地算法的基础上。与之前的版本不同，规则只需要安全，而不需要域限制。
We describe the major new features emerging from a significant redesign of the groundergringo, building upon a grounding algorithm based on semi-naive database evaluation. Unlike previous versions, rules only need to besaferather than domain-restricted.