Life with Cygwin
沖ソフトウェア株式会社は、沖通信システム株式会社および株式会社沖インフォテックと平成22年10月1日をもって合併いたしました。新会社名は、株式会社OKIソフトウェアとなります。3社が行っております事業は新会社にて従来通り継続いたします。
プログラミングと開発者のためのCodeZine：Rubyで作るProlog処理系（Ruby, Prolog, 記号処理, 自動推論）
はじめに 1970年代にヨーロッパを主な舞台として生まれ育ったプログラミング言語Prolog（programming in logic）は、事実とルールから一種の自動推論を行う点に特徴があります。その基本的な動作は200行ほどのRubyプログラムで実現できます。ここでは、筆者がRubyで作成したProlog処理系を解説します。 Prologによる簡単なプログラム例を下記に示します。 これは「ソクラテスは人間（human）である」「プラトンは人間である」という事実と、「人間ならばいつか死ぬ（mortal）」というルールを書いたものです。mortal(X) :- human(X)は、変数Xが実際には何であったとしても、もしもhuman(X)が成り立つならば（つまりXが人間ならば）、mortal(X)が成り立つ（つまり、Xはいつか死ぬ）という意味です。 簡略化のため、本処理系ではRubyの構文要
GNU-Prolog Manual
GNU PROLOG A Native Prolog Compiler with Constraint Solving over Finite Domains Edition 1.50, for GNU Prolog version 1.5.0 July 8, 2021 by Daniel Diaz Copyright (C) 1999-2021 Daniel Diaz Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies. Permission is granted to copy and distribute modifi
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
Prolog Web Page (in Japanese)
Prolog入門 Prolog プログラミング入門 Prolog処理系 Prolog Cafe : A Prolog to Java Translator System [お勧め] PrologからJavaへのトランスレータ． 作者は私の共同研究者の 番原君です． Javaさえ持っていれば利用できます． FAQ: Prolog Implementations SICStus Prolog Quintus Prolog (comp.lang.prologの記事 <ul91zv8g85w.fsf_-_@scheutz.sics.se> によると， 1998年4月よりSICSがQuintus Prologの権利を取得したそうです) K-Prolog ( Java Interface for Prolog) IF/Prolog Ciao Prolog New! Amzi! Prolog + Log
Prolog Text
Prolog Online Text Ｐｒｏｌｏｇオンラインテキスト 目次 Chapter1.プログラムを動かしてみる Chapter2.トレースしてみる Chapter3.バックトラック Chapter4.Ｐｒｏｌｏｇプログラムの構文 Chapter5.Ｐｒｏｌｏｇプログラムの意味 Chapter6.猿はバナナを獲れるか？ Chapter7.プログラムの実行順序 Chapter8.いろいろなプログラム Chapter9.リスト処理 Chapter10.算術計算 Chapter11.入出力 Chapter12.様々な組み込み関数 Chapter13.Ｐｒｏｌｏｇ応用プログラム Chapter14.人工知能を作ってみよう 参考文献 TopPageに戻る
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ページを開く
Visual Prolog - Wikipedia
Learn Prolog Now!
お気楽 Prolog プログラミング入門