プログラミング言語リンク集論理型言語リンク集Picatリンク集

Picatリンク集

目次

言語仕様
処理系
書籍
論文
チュートリアル
日本国内での動向

言語仕様

A User's Guide to Picat [PDF]
http://picat-lang.org/download/picat_guide.pdf
Picatの公式サイトの中にあるPicatのユーザーズ・ガイド。

処理系

Download
http://picat-lang.org/download.html
Picatの公式サイトの中にある処理系のダウンロードのページ。

書籍

Constraint Solving and Planning with Picat
http://www.springer.com/gp/book/9783319258812
Springerから刊行されている、Neng-Fa Zhouさん、 Håkan Kjellerstrandさん、Jonathan Fruhmanさんによる、 Constraint Solving and Planning with Picatという書籍のページ。

論文

Combinatorial Search With Picat [PDF]
https://arxiv.org/pdf/1405.2538.pdf
Neng-Fa Zhouさんによる、 組み合わせ探索へのPicatの応用に関する論文。

チュートリアル

Picat Tutorial [PDF]
http://picat-lang.org/download/picat_tutorial.pdf
Picatの公式サイトの中にある、 Picatの設計者であるNeng-Fa ZhouさんとJonathan FruhmanさんによるPicatのチュートリアル。
An Introduction to Tabled Logic Programming with Picat
http://www.linuxjournal.com/content/introduction-tabled-logic-programming-picat
Linux Journalに掲載された、 Sergii DymchenkoさんによるPicatのチュートリアル。
My First Look At Picat as a Modeling Language for Constraint Solving and Planning [PDF]
http://www.hakank.org/picat/a_first_look_at_picat.pdf
Håkan KjellerstrandさんによるPicatのチュートリアル。

日本国内での動向

Prof. Neng-Fa Zhou特別講義のご案内(情報工学実践セミナー認定)
http://mi.el.kyutech.ac.jp/calendar/view.php?view=day&time=1456758000
九州工業大学開催されたNeng-Fa Zhouさんによる特別講義に関する告知。
平成27年度第7回情報科学研究所講演会開催のご案内
https://www.fit.ac.jp/cro/cslab/news/5314
福岡工業大学開催されたNeng-Fa Zhouさんによる講演会に関する告知。
プログラミング言語リンク集論理型言語リンク集Picatリンク集

Last modified: Monday, 20 June 2016
Copyright (C) 2016 Daikoku Manabu