タグ

2007年12月19日のブックマーク (2件)

  • songs of lisp or Prolog

    Lisp, Prolog, Fortranの歌 日でポピュラーなプログラミング言語の歌とか外国の歌とか Lisp的 不要な情報とか… Lispの歌: Lispの歌 「静かな湖畔」の最後部 かっこ〜かっこ〜かっこ、かっこ、かっこ〜♪ ロックンロール・ウィドウ 山口百恵のヒット曲 かっこ、かっこ、かっこ、かっこ、かっこ、かっこ、 かっこ ばかり、先走りぃ〜♪ ロックンロール・ウィドウの歌詞 YouTubeでロックンロール・ウィドウを見る(音が出ます) (僕は、百恵ちゃんは、割と好きです(なにそれ)) Prologの歌: 「めだかの学校」 めーだーかの学校は川の中〜♪ p(X) :- q(X). の「:-」は、口語で「メダカ」と言われるから。 FORTRANの歌: (「おおブレネリ」とかいう歌?) やっほ〜 ふぉーとらんらんらん♪ やっほ ふぉーとらんらんらん♪… (詳しくは↓とか) http

  • 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 サン