はじめにリンク情報制約ソルバーのインストールSugarのシンタックスバグ修正情報連環の数２連環の場合文法事始め３連環の場合domain７連環に挑戦差の連環abspredicate覆面算SEND＋MORE＝MONEY人間の解き方CSPで書いてみようweightedsumpredicate鶴亀算鶴亀算鶴亀トンボ算８クイーンチェス盤の用意配列がない斜めの考え方変数の激減策魔方陣サイズ３の魔方陣サイズ４の魔方陣ナンプレまえおきルールを制約へ９×９の標準問題対角線ナンプレクロスサムまえおきルールを制約へ普通サイズの問題ナイト巡回問題ナイト巡回問題とはナイトの動きを制約にするナイトの動きをpredicateで表現５×５を解き終えよう６×６に挑戦閉ループにしよう頑張らない閉ループの確認方法ナイトの動きの素直な表現elementで盤面に変換あかりルール盤面の用意ランプは互いに照らし合わないすべての白マスに
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
[TOP] 科目概要本講義では、高度なデータマイニングの技術として、述語論理に基づく帰納論理プログラミング、高精度でかつ高速な分類学習を行うサポートベクターマシン、および不確実な状況での推論を可能にするベイジアンネットワークの３つの技術を紹介する。帰納論理プログラミングは、適切に背景知識を用意することによって、多くの分野への応用が可能である。また、サポートベクタマシンは、その精度の良さ、および実行速度の速さにより、近年とくに注目を浴びている。ベイジアンネットワークは、不確実性を扱える点で、インターネットにおける個人化をサポートする技術などで活躍している。本講義は、それらの技術を実際に使えるようになることを目指して、講義とともに、実習にも力を注ぐ。 [TOP] 主題と目標/授業の手法など本講義では、従来のデータマイニング技術である、相関ルールマイニング、決定木の自動構築、クラスタリングの
たけおかの 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 の概要 PROgramming in LOGic (論理プログラミング)の省略． AI 用言語 (AI プログラムの記述・開発に適している言語)の一種． 1974 年に仏国の Colmerauer らにより開発された． 通産省の第五世代コンピュータプロジェクトの核言語として採用された． Prolog の特徴 記号処理言語，リスト処理言語: データとして，記号(シンボル)を取り扱うことができる． また，リストと呼ばれる可変長のデータの列を取り扱うことができる． 論理型言語: Prolog では新たな述語を論理式で定義することによってプログラムを 作り上げていく． すなわち， Prolog のプログラムは論理式の集まりである． Prolog や LISP は， FORTRAN や BASIC などの手続き型言語とは異なり， 非手続き型言語と呼ばれる． 対話的使用，会話的使用: P
As we've said, matching is a fundamental operation in Prolog. It plays a key role in Prolog proof search (as we shall soon learn), and this alone makes it vital. However, as you get to know Prolog better, it will become clear that matching is interesting and important in its own right. Indeed, sometimes you can write useful programs simply by using complex terms to define interesting concepts. Mat
We started a list of errata for the handheld version. Help us to improve Learn Prolog Now! If you find any mistakes such as typos or bugs in the example code, please let us know. We're pleased to announce that an "official" set of slides which follows the chapter-by-chapter breakdown is available. more We are collecting slides! more We are pleased to announce that Learn Prolog Now! is
実際に書いて動いた例を使って説明します． ソースはすべて 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) の実行 卓上計算機の
並列プログラミングへのアプローチ 上田 和紀 １．はじめに コンピュータの分野で，昔から注目を集め，にもかかわらずなかなか実 用かのすすまないものに並列処理というのがある． ある問題をコンピュータで処理しようとするときに，複数台のコンピュ ータに協力してあたらせることで効率をあげようというのは，きわめて 自然な発想である．現に我々が組織の中で仕事を進めるときはいつも， 与えられた人員がフルに活用されるように努めるものである（余談だが， コンピュータやプログラミングの分野で新しいことに取り組むとき，人 間あるいは人間社会におけるアナロジーを考えてみるとよいアイデアが 得られることが多い）．たしかに逐次処理のコンピュータやマイクロプ ロセッサも年々性能がよくなってきてはいるが，その性能向上には熱力 学的・量子力学的限界があって，もはや素子技術の変革を考慮に入れて も青天井とは言えないのだそうで
沖ソフトウェア株式会社は、沖通信システム株式会社および株式会社沖インフォテックと平成22年10月1日をもって合併いたしました。新会社名は、株式会社OKIソフトウェアとなります。3社が行っております事業は新会社にて従来通り継続いたします。
cu-Prologを使ってみよう cu-Prologは日本生まれで、日本語が扱えるフリーのPrologの処理系です。FreeBSDのpackagesには含まれていません。Prologって今では、あんまり人気が無い様で、最新版のFreeBSDでないとPrologの処理系はpackagesに含まれていません。私は授業で人工知能を勉強していた関係で、Prologを使う羽目になったのですが、少々学校だけでやるのは無理があるような課題が出たので、家のFreeBSD(98)でもPrologを使ってみようと思い、友人に薦められたのがこのcu-Prologです。cu-Prologは （９）制約論理型言語：ｃｕ−Ｐｒｏｌｏｇ という所から、ソースコードやマニュアルやらを手に入れる事が出来ます。 日本語マニュアルも付いていて「良いかな」と思ったのもつかの間、何とFreeBSD(98)ではうまくコンパイル
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
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く