Prologという名前は、Philippe RousselがProgrammation en logique（フランス語で論理的なプログラミング）の略語として選んだものです。Prologは1972年頃、アラン・コルメラウアーとフィリップ・ルーセルが、ロバート・コワルスキーのホーン節の手続き的解釈に基づいて作成されました。これは、1960年代後半から1970年代前半に北米で流行した知識の手続き的表現と、宣言的知識表現言語としての論理の使用を両立させたいという思いから生まれたものです。

Prologの最初の実装は、Gerard BattaniとHenri MeloniによってFortranで書かれたインタプリタでした。Warrenは、このインタプリタをエジンバラに持ち込み、そこで代替のフロントエンドを実装し、現在のほとんどの実装で使用されている「エジンバラProlog」構文を定義しました。

ヨーロッパのAI研究者はPrologを支持し、アメリカ人はLispを支持したため、言語の利点について多くの国論的な議論を引き起こしたと言われています。