この記事では、eclingoという知識論プログラム用のソルバーについて説明しています。eclingoは、Gelfondのセマンティクスに基づき、Answer Set Programmingシステムclingoを基盤としています。このソルバーの入力言語は、主観的リテラルを定義するためにclingoの構文拡張機能を使用し、これは通常の知識論プログラムにおけるリテラルの真偽を確認します。解決プロセスは、推測と確認の戦略に従い、まず主観的リテラルの可能性のある真偽値を生成した後、それに基づいてプログラムの慎重な結果と勇敢な結果を検証します。また、探索空間を縮小し、計算効率を向上させるためにいくつかの最適化も実装されています。最終的に、eclingoの効率を既存の知識論プログラム用のソルバーと比較した結果、一般的にeclingoが優れた性能を示すことが示されています。