DLV系统的参数外部等同器械
Parametric external predicates for the DLV System
摘要：
本文档描述了语法、语义和实现指南，以丰富DLV系统进行外部C函数调用的可能性。这个特性是通过引入参数外部谓词来实现的，参数外部谓词的扩展不是通过逻辑程序指定的，而是通过外部代码隐式计算的。
英文摘要：
This document describes syntax, semantics and implementation guidelines in order to enrich the DLV system with the possibility to make external C function calls. This feature is realized by the introduction of parametric external predicates, whose extension is not specified through a logic program but implicitly computed through external code.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
