ホーン + + ライブラリは C++ で論理式を解決することができます。C++ の式として記述することができますホーンの句に式を変換しなければなりません。ソルバは、論理的な問題の解決策を見つけるにバックトラッ キングを使用してください。
