Karetta|プログラム不要の「制約プログラミング手習い」
はじめにリンク情報制約ソルバーのインストールSugarのシンタックスバグ修正情報連環の数２連環の場合文法事始め３連環の場合domain７連環に挑戦差の連環abspredicate覆面算SEND＋MORE＝MONEY人間の解き方CSPで書いてみようweightedsumpredicate鶴亀算鶴亀算鶴亀トンボ算８クイーンチェス盤の用意配列がない斜めの考え方変数の激減策魔方陣サイズ３の魔方陣サイズ４の魔方陣ナンプレまえおきルールを制約へ９×９の標準問題対角線ナンプレクロスサムまえおきルールを制約へ普通サイズの問題ナイト巡回問題ナイト巡回問題とはナイトの動きを制約にするナイトの動きをpredicateで表現５×５を解き終えよう６×６に挑戦閉ループにしよう頑張らない閉ループの確認方法ナイトの動きの素直な表現elementで盤面に変換あかりルール盤面の用意ランプは互いに照らし合わないすべての白マスに
RDF Applications with Prolog
In the first article in this series, I explained some of the semantics of RDF via Prolog (and vice versa). In this article, I'll explore some of the nitty-gritty of working with RDF in Prolog using the SWI-Prolog system. Using RDF with SWI-Prolog SWI-Prolog is a fast, robust, and free open-source Prolog system with great support for XML and RDF. It's being used as an inference engine for Mozilla a
Prolog index
たけおかの Prologページ 目次 Prologを使ってみる (動作確認 程度のProlog入門) Prologの入門文書に飽きた人に WAM; Warrenの抽象マシンの論文の和訳 GnuEmacsと、Prologを一緒に使うと便利! (新しい prolog.el用) GnuEmacsと、Prologを一緒に使うと便利! (古い prolog.el用) 実際にProlog処理系を使ったときの、あれこれ Prologで記述した、StarTrek(1976年頃流行した古いゲーム) イスカンダルのトーフ屋ゲーム(1978年に発表された、古いゲーム)をPrologで記述した SB-Prologを使う 時相論理言語 Temporal Prolog の一実現について Temporal Prolog(たけおか版)マニュアル Temporal Prolog ソース Temporal Prolog サン
Prolog入門 Introduction to Prolog (in Japanese)
Prolog の概要 PROgramming in LOGic (論理プログラミング)の省略． AI 用言語 (AI プログラムの記述・開発に適している言語)の一種． 1974 年に仏国の Colmerauer らにより開発された． 通産省の第五世代コンピュータプロジェクトの核言語として採用された． Prolog の特徴 記号処理言語，リスト処理言語: データとして，記号(シンボル)を取り扱うことができる． また，リストと呼ばれる可変長のデータの列を取り扱うことができる． 論理型言語: Prolog では新たな述語を論理式で定義することによってプログラムを 作り上げていく． すなわち， Prolog のプログラムは論理式の集まりである． Prolog や LISP は， FORTRAN や BASIC などの手続き型言語とは異なり， 非手続き型言語と呼ばれる． 対話的使用，会話的使用: P
論理プログラミング第12回
実際に書いて動いた例を使って説明します． ソースはすべて http://web.sfc.keio.ac.jp/~mukai/2004-LP/cgi-in-prolog/にあります． 必要ならばCNSにログインしてコピーして下さい．下記の括弧( )の中はファイル名です． (ソース表示は，content-type= text/plain でプリントしているつもりですが， Internet ExplorerとSafariでは改行がうまく表示されない．一方，Mozillaではソース表示に関してはオーケー. ) Hello World (Perl) ソース (hello-in-perl.cgi) Hello World (Perl) の実行 Hello World (Prolog) ソース(hello-in-prolog.cgi) Hello World (Prolog) の実行 卓上計算機の
Life with Cygwin
沖ソフトウェア株式会社は、沖通信システム株式会社および株式会社沖インフォテックと平成22年10月1日をもって合併いたしました。新会社名は、株式会社OKIソフトウェアとなります。3社が行っております事業は新会社にて従来通り継続いたします。
Let's use cu-Prolog.
cu-Prologを使ってみよう cu-Prologは日本生まれで、日本語が扱えるフリーのPrologの処理系です。FreeBSDのpackagesには含まれていません。Prologって今では、あんまり人気が無い様で、最新版のFreeBSDでないとPrologの処理系はpackagesに含まれていません。私は授業で人工知能を勉強していた関係で、Prologを使う羽目になったのですが、少々学校だけでやるのは無理があるような課題が出たので、家のFreeBSD(98)でもPrologを使ってみようと思い、友人に薦められたのがこのcu-Prologです。cu-Prologは （９）制約論理型言語：ｃｕ−Ｐｒｏｌｏｇ という所から、ソースコードやマニュアルやらを手に入れる事が出来ます。 日本語マニュアルも付いていて「良いかな」と思ったのもつかの間、何とFreeBSD(98)ではうまくコンパイル
SWI-Prolog's home
HOME DOWNLOAD SWI-Prolog Sources/building Docker images Add-ons Browse GIT DOCUMENTATION Manual Packages FAQ Command line PlDoc Bluffers▶ Prolog syntax PceEmacs HTML generation License Publications Rev 7 Extensions TUTORIALS Beginner▶ Getting started Learn Prolog Now! Simply Logical Debugger Development tools Advanced▶ Modules Grammars (DCGs) clp(fd) Printing messages PlDoc Web applications▶ Web a
Prolog Tutorial -- Contents
Introduction 1. How to Run Prolog 2. Sample Programs -- Descriptions 2.1 Map colorings 2.2 Two factorial definitions 2.3 Towers of Hanoi puzzle 2.4 Loading programs, editing programs 2.5 Negation as failure 2.6 Tree data and relations 2.7 Prolog lists and sequences 2.8 Change for a dollar 2.9 Map coloring redux 2.10 Simple I/O 2.11 Chess queens challenge puzzle 2.12 Finding all answers 2.13 Truth
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://nojiriko.asia/prolog/
http://www.ifcomputer.co.jp/jp/manuals/uguide/uguide.html
SSH AI programming
http://web.sfc.keio.ac.jp/~mukai/2006-LP/04/practice/
Prolog
入門：Prologによる簡単なデータベースの作成
http://www.cse.psu.edu/~dale/lProlog/