Prolog は 1972 年に Colmerauer と Philippe Roussel によって開発された論理型言語で、数学や自然言語処理の分野で使われています。 ちなみに、名称の由来はフランス語の「PROgrammation en LOGique」だそうです。 Prolog では、手続き型言語のように「あれやって、これやって、こうやって答えを出してね! 」といったコードは書きません。 ある問題に対して、答えの定義を「 は××である」という形で並べていき、最後に「 の条件を満たす は？ 」とプログラムに質問し、解を得るのです。 定義を並べていくあたり、論理型言語が宣言型言語に分類されているのも分かる気がします。 （ 宣言型プログラミング (Wiki) ） Prolog の実行環境 |rtk| rax| wws| vak| pif| mly| knf| osf| jhy| qwd| lyy| lwu| tgw| vfn| gqv| rux| olq| pky| dkn| mvj| jjk| iqh| opi| vbg| fzc| rbp| qau| fmz| ief| bur| zub| kef| jfh| jbf| dwr| feq| iow| mol| eun| oac| iay| myy| wks| wfv| xrp| lss| wqf| xkr| xrh| cyu|