• iclingo是命令行程序实现了一个增APS系统的功能clingo应用程序。 该应用程序的目标是将只产生的基本规则，因为程序的切片和避免重复以前生产地规则。

    作为clingo程序，这个工具包括解其积累的实地规则，以便计算答案集。

  • iclingo है एक कमांड लाइन उपयोगिता को लागू करता है जो एक वृद्धिशील ए पी एस प्रणाली के कार्य करने के लिए clingo आवेदन है । आवेदन के लक्ष्य के लिए है का उत्पादन करने के लिए केवल जमीन नियमों stemming कार्यक्रम के लिए स्लाइस और दोहराने से बचने के लिए पहले से उत्पादित जमीन नियम हैं ।

    के रूप में clingo कार्यक्रम, इस उपकरण भी शामिल है सॉल्वर जम जाता है, जो जमीन के नियमों के क्रम में करने के लिए जवाब की गणना सेट.

  • iclingo is a command line utility which implements an incremental APS system to the functions of the clingo application. The goal of the application is to produce only the ground rules stemming for the program slice and to avoid repeating the previously produced ground rules.

    As the clingo program, this tool includes the solver which accumulates the ground rules in order to calculate the answer sets.