▽Introduction to Prolog (in Japanese)
●12/14 02:15
Prolog入門
Last modified: Mon Oct 11 13:58:27 2010 JST
Prolog の概要
PROgramming in LOGic (論理ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ)の省略．
AI 用言語 (AI ﾌﾟﾛｸﾞﾗﾑの記述･開発に適している言語)の一種．
1974 年に仏国の Colmerauer らにより開発された．
通産省の第五世代ｺﾝﾋﾟｭｰﾀﾌﾟﾛｼﾞｪｸﾄの核言語として採用された．
Prolog の特徴
記号処理言語，ﾘｽﾄ処理言語: ﾃﾞｰﾀとして，記号(ｼﾝﾎﾞﾙ)を取り扱うことができる． また，ﾘｽﾄと呼ばれる可変長のﾃﾞｰﾀの列を取り扱うことができる．
論理型言語: Prolog では新たな述語を論理式で定義することによってﾌﾟﾛｸﾞﾗﾑを 作り上げていく． すなわち， Prolog のﾌﾟﾛｸﾞﾗﾑは論理式の集まりである． Prolog や LISP は， FORTRAN