Picat - Wikipedia

Picatは、論理プログラミングをベースとするマルチパラダイムの汎用プログラミング言語である。制約論理プログラミング言語であるen:B-Prologを発展させることによって開発された。 概要[編集] Picatは、周能法(Neng-Fa Zhou)およびJonathan Fruhmanによって設計された。2012年12月に仕様が公開され、2013年5月に処理系がリリースされた[1]。 Picatという名称は、次の単語の頭文字に由来する。 Pattern-matching Imperative Constraints Actors Tabling Picatのプログラムは、述語または関数の定義から構成される。述語または関数は、1個以上のルールによって定義される。 ルールにはバックトラックが可能なものとそうでないものとがあり、バックトラックが可能なルールを書くことによって、非決定的な述語を定義

[polynity]

日本語版のウィキペディアの中にPicatの項目を作ってみました。