Начало работы: где мне написать программу?
Поэтому мне необходимо выполнить проект "Программирование наборов ответов", в котором мы должны решить некоторую проблему и создать контрольные примеры с использованием решателя DLV.
В соответствии со спецификацией проекта нам нужно сделать файлы G.dl, Ch.dl и test.dl, помня, что я новичок во всем этом, вот мой вопрос:
что это за файл.dl и как его создать? или еще лучше:
Где я должен написать все эти факты и правила (которые, кстати, у меня есть на бумаге), чтобы иметь возможность сохранить файл в формате.dl?
1 ответ
Решение
Это простые текстовые файлы, вы можете написать их в любом текстовом редакторе. На этой веб-странице также есть онлайн-решатель DLV.