Programming C/C++ C言語Tips (準備編) STL覚書 C#/VB.NET C# Tips LINQ覚書 perl perl 基礎 perl Tips Prolog Prolog 基礎 Prolog 覚書 Linux/BSD FreeBSD FreeBSDのパッケージ管理 Book Review Coming soon..?
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
実際に書いて動いた例を使って説明します． ソースはすべて 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) の実行 卓上計算機の
Petit emacs lisp tips 数十行程度の小細工 emacs lisp です。主に Meadow 1.15 - 2.20 (emacs 20.7 - 22.0.50.1) 上で動作確認しています。mule と聞いたらラバのことだと思っているので悪しからず。 これらのコードは、頻繁に訂正しています。ご利用は自己責任で。 Contents 起動速度を改善するための emacs lisp [Meadow 1] ハイレベル API で定義されたフォントの読み込みを高速化 [Meadow 2] 色々なサイズのフォントの設定 [04/11/11 追記] .emacs の読み込みスピードを計算 追記: Meadow 2 起動時間の推移（試行錯誤中） [04/02/14 更新] エラー箇所へのジャンプつき .emacs.el の自動バイトコンパイル [05/01/02 更新] ちょっとした機
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ページを開く