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コンパイラ
The GNU Prolog web site
Table of contents What is GNU Prolog ? Features How does GNU Prolog work ? History Supported Platforms & last changes Manual Download Contributions and related developments Mailing lists Reporting bugs What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binari
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: VM(ブイエム) (OSシリ-ズ): 岡崎世雄, 全先実: 本
Amazon.com: Concurrent and Real-Time Programming in Java: Wellings, Andrew: Books
Microsoft Virtual PC: Virtual PC 2007
Amazon.com: Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design): Smith, Jim, Nair, Ravi: Books