『WAM, Warrenの Prolog抽象マシンの命令セットのレポートを和訳した』
Prologを実装するとき、 普通は、バイトコードを実行する仮想マシン・インタープリタ(最近は、プロセスVMとかいうらしい。なんとなく嘆かわしい)を作り、 コンパイラで、Prologで書かれたソース・コードを、仮想マシンのバイナリに変換する。 そういう仮想マシンの仕様として、WAMというものを使うことがほとんである。 WAMはWarrenという人が1983年ごろに考えた。 高級言語好きのわたくしとしては、Prologを勉強する若者にWAMを知って欲しいな、と、思い、和訳をしてみた。 WAM 和訳 そもそも Prolog 実行系の動きを知ってないと、なかなか意味が取れないだろう。 ま、それは、色んなPrologのソースとか読んで、精進してもらうしかないかな。
WAM: Warren's Abstract Machine (Japanese)
AN ABSTRACT PROLOG INSTRUCTION SET (D.Warrenの抽象Prolog命令セット, WAM) Technical Note 309 Oct 1983 By: David H.D.Warren, Computer Scientist Artificial lntelligence Center Computer Science and Technology Division SRI Project 4776 Client: Digital Equipment Corporation Open Publication. Release of lnformation. 日本語訳: JAN/07/2010 last update: OCT/21/2010 竹岡尚三、安達彰典、林奉行、湯浅信吾、小宮山敦史、森下耕平 和訳について この文書は、Prologコンパイラ
Prolog入門 Introduction to Prolog (in Japanese)
Prolog の概要 PROgramming in LOGic (論理プログラミング)の省略． AI 用言語 (AI プログラムの記述・開発に適している言語)の一種． 1974 年に仏国の Colmerauer らにより開発された． 通産省の第五世代コンピュータプロジェクトの核言語として採用された． Prolog の特徴 記号処理言語，リスト処理言語: データとして，記号(シンボル)を取り扱うことができる． また，リストと呼ばれる可変長のデータの列を取り扱うことができる． 論理型言語: Prolog では新たな述語を論理式で定義することによってプログラムを 作り上げていく． すなわち， Prolog のプログラムは論理式の集まりである． Prolog や LISP は， FORTRAN や BASIC などの手続き型言語とは異なり， 非手続き型言語と呼ばれる． 対話的使用，会話的使用: P
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
