а (1,1).а (1,3).а (1,5).а (2,3).а (2,1).а (2,5).а (3,5).а (3,7).а (3,1).a (3,6). как получить b (X,...

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

Я никогда раньше не использовал clingo, и я нахожу онлайн-документацию неполной (я также не могу...