Prolog
1972年にマルセイユでアラン・コルメローが作った論理プログラミング言語。世界を事実と規則で記述して問い合わせると、単一化とバックトラックで答えを探してくれる。
80〜90年代のAI教育の定番だった。日本の「第五世代コンピュータ・プロジェクト」（1982〜92年）も支えた言語である。今日では学術用途やニッチな用途が中心で、Erlang の型検査器や IBM Watson の一部に使われている。最もよく使われる処理系は SWI-Prolog だ。
1972年にマルセイユでアラン・コルメローが作った論理プログラミング言語。世界を事実と規則で記述して問い合わせると、単一化とバックトラックで答えを探してくれる。
80〜90年代のAI教育の定番だった。日本の「第五世代コンピュータ・プロジェクト」（1982〜92年）も支えた言語である。今日では学術用途やニッチな用途が中心で、Erlang の型検査器や IBM Watson の一部に使われている。最もよく使われる処理系は SWI-Prolog だ。