出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/09/28 01:17 UTC 版) ■カテゴリ / ■テンプレート
Picatとは - わかりやすく解説 Weblio辞書
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/09/28 01:17 UTC 版) ■カテゴリ / ■テンプレート
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個以上のルールによって定義される。 ルールにはバックトラックが可能なものとそうでないものとがあり、バックトラックが可能なルールを書くことによって、非決定的な述語を定義
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
