Как начать с клинго?

Question

У меня установлена ​​клинго. Но я не знаю, как его запустить. В файле есть несколько примеров. Я пытался запустить его. Но это не удалось.

Я установил его как в Windows, так и в Ubuntu. И я должен добавить его к пути.

C: \ Windows \ system32> clingo color.lp \ graph.lp clingo версия 5.3.0 Чтение из цвета \ графика: ошибка: файл не может быть открыт:
color.lp \ график

C: \ Windows \ system32> clingo context-py.lp encoding.lp --of = 3 0 * ОШИБКА: (clingo): 'encoding': не удалось открыть входной файл! * Информация: (clingo): попробуйте '--help' для получения информации об использовании

C: \ Windows \ system32> clingo context-lua.lp encoding.lp --of = 3 0 * ОШИБКА: (clingo): не удалось открыть входной файл! * Информация: (clingo): попробуйте '--help' для получения информации об использовании

Answer 1

Я считаю, что ваша проблема просто в том, что вы пытаетесь запустить файлы из неправильного каталога. Я предполагаю, что ваши файлы примеров не находятся в вашей директории Windows 32. Вам нужно перейти в правильный каталог, где находятся файлы .lp, тогда вы можете запустить Clingo.