Prolog

/ˈproʊlɒɡ/ プロログ

1. 宣言型プログラミング言語の一種で、主に人工知能、自然言語処理、推論システムの開発に用いられる。

Prolog（プロログ）は「PROgramming in LOGic」の略で、事実（fact）と規則（rule）を記述し、それらから推論を行うことで問題を解決するプログラミング言語です。手続きを記述するのではなく、何が真であるかを宣言することでプログラムを構成します。人工知能分野での応用が有名です。

Prolog is a declarative programming language. (Prologは宣言型プログラミング言語です。)

• Prolog: 「Prolog」は、特定のプログラミング言語の名前です。
• is: 「～である」という存在や状態を表す動詞です。
• a declarative programming language: 「宣言型プログラミング言語」を指します。処理の手順ではなく、問題の記述に焦点を当てるプログラミング言語の種類です。

Many artificial intelligence applications were developed using Prolog. (多くの人工知能アプリケーションがPrologを使って開発されました。)

• Many: 「多くの」という意味で、数が多いことを示します。
• artificial intelligence applications: 「人工知能アプリケーション」を指します。AI技術を用いたソフトウェアのことです。
• were developed: 「開発された」という意味で、受動態の過去形です。
• using Prolog: 「Prologを使って」という意味で、Prologが開発ツールとして用いられたことを示します。

Understanding logic is crucial for mastering Prolog. (Prologを習得するには、論理を理解することが重要です。)

• Understanding logic: 「論理を理解すること」を意味します。
• is: 「～である」という存在や状態を表す動詞です。
• crucial: 「極めて重要な」という意味の形容詞です。
• for mastering Prolog: 「Prologを習得するために」という意味で、目的を示します。

Prolog allows us to express knowledge in terms of facts and rules. (Prologを使うと、事実と規則で知識を表現できます。)

• Prolog: 「Prolog」は、このプログラミング言語の名前です。
• allows us to express: 「私たちが表現することを可能にする」という意味です。
• knowledge: 「知識」を指します。
• in terms of facts and rules: 「事実と規則という観点から」という意味で、知識の表現形式を示します。

関連

• Logic programming
• Declarative programming
• Artificial intelligence
• Lisp
• Functional programming
• Expert systems