• clingo是一个紧凑的应用程序的设计结合的使用情况的两个扣和外国佬. 它是一个高效的组合之间解决的滚球使用相同的输入语言因为外国佬.

    你可以使用这个工具，用于解决逻辑的节目进入需要参数采用命令行接口。 它也可以作为一个简单的解，通过使用"-扣"的说法。

  • clingo है एक कॉम्पैक्ट डिजाइन आवेदन गठबंधन करने के लिए उपयोग के दोनों अकवार और ग़ैरमुल्की. यह एक कुशल संयोजन के बीच सॉल्वर और grounder का उपयोग करता है जो एक ही इनपुट भाषा के रूप में विदेशी है ।

    आप कर सकते हैं इस उपकरण का उपयोग करें को हल करने के लिए तर्क कार्यक्रमों दर्ज करके वांछित मापदंडों का उपयोग कमांड लाइन इंटरफेस है. यह भी काम कर सकते हैं के रूप में एक सरल सॉल्वर का उपयोग करके "अकवार" तर्क ।

  • clingo is a compact application designed to combine the usage of both clasp and Gringo. It is an efficient combination between the solver and the grounder which uses the same input language as Gringo.

    You can use this tool for solving logic programs by entering the desired parameters using the command line interface. It can also work as a simple solver by using the "-clasp" argument.