Prolog プログラミングの難しさ
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/12 02:49 UTC 版)
「Prolog」の記事における「Prolog プログラミングの難しさ」の解説
プログラマは引数の単一化、再帰/失敗駆動等のプログラムパターンの選択、非決定性、双方向性といった特長をできる限り生かすことなどに配慮しながら、述語の骨格を決めプログラミングを進める。しかし、これらの特長、性質は複合した場合には相当に複雑であり、制御上相反する部分も多々ある。Prolog では、述語論理を逸脱して計算量/資源量/制御の調整に当たる述語「!」(カット)を導入してこの問題に対処しているが、Prolog プログラミングの難しさはこの調整部分に集中している。
※この「Prolog プログラミングの難しさ」の解説は、「Prolog」の解説の一部です。
「Prolog プログラミングの難しさ」を含む「Prolog」の記事については、「Prolog」の概要を参照ください。
- Prolog プログラミングの難しさのページへのリンク