Picatは、制約論理プログラミング言語であるB-Prologを発展させることによって開発された、論理プログラミングをベースとするマルチパラダイムの汎用プログラミング言語である。 Picatの開発者は、周能法(Neng-Fa Zhou)およびJonathan Fruhmanである。2012年12月に仕様が公開され、2013年5月に処理系がリリースされた。 Picatという名称は、次の単語の頭文字を並べたものである。 Pattern-matching Imperative Constraints Actors Tabling Prologでは、式が評価されるのは、それがis/2や=:=/2などの一部の述語を呼び出すゴールの中に書かれた場合のみであるが、Picatでは、ゴールの中に書かれた項は、原則として、ゴールとして解決されるか、式として評価されるかのいずれかである。また、Prologでは、