最終更新日：2025/11/26
Horn clauses are used extensively in logic programming and automated theorem proving because of their computational efficiency.
正解を見る
Horn clauses are used extensively in logic programming and automated theorem proving because of their computational efficiency.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
ホーン節は計算効率の高さから論理プログラミングや自動定理証明で広く用いられている。
