そのため、DLV ソルバーを使用して問題を解決し、テスト ケースを作成する Answer-Set-Programming プロジェクトを行う必要があります。
プロジェクトの仕様によると、ファイルG.dl、Ch.dl、およびtest.dlを作成する必要があるため、私はこれらすべてに非常に慣れていないことを念頭に置いて、ここに私の質問があります:
この .dl ファイルとは何ですか?また、どのように作成すればよいですか? またはさらに良い：
.dl ファイルとして保存できるようにするには、これらすべての事実と規則 (ちなみに紙に書いています) をどこに書き込めばよいのでしょうか?