关于DLV系统中功能的实现（初步技术报告）
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
摘要：
本文件描述了DLV系统中处理的功能。我们首先给出语言，然后指定主要的实现问题。
英文摘要：
This document describes the functions as they are treated in the DLV system. We give first the language, then specify the main implementation issues.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
