Selected example programs are available as showcases. An overview of all videos is available at: https://www.metalevel.at/prolog/videos/ For offline access, you can download this book from a public git repository: https://github.com/triska/the-power-of-prolog If you have any comments, suggestions or questions, you can also file them as issues in that repository. Recursion Main page
Prolog(プロログ)は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である[1]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキ
渕一博氏が死去した。彼は、1980年代の国策プロジェクト「第5世代コンピュータ」を進める新世代コンピュータ技術開発機構(ICOT)の研究所長だった。私もICOTは何回か取材したが、発足(1982)のころは全世界の注目を浴び、始まる前から日米で本が出て、欧米でも似たような人工知能(AI)を開発する国策プロジェクトが発足した。ところが、中間発表(1984)のころは「期待はずれ」という印象が強く、最終発表(1992)のころはニュースにもならなかった。 1970年代に、通産省(当時)主導で行われた「超LSI技術研究組合」が成功を収め、日本の半導体産業は世界のトップに躍り出た。その次のテーマになったのが、コンピュータだった。当時はIBMのメインフレームの全盛期で、その次世代のコンピュータは、AIやスーパーコンピュータだと考えられていた。通産省の委員会では、国産のAI開発をめざす方針が決まり、第5世
Prolog の概要 PROgramming in LOGic (論理プログラミング)の省略. AI 用言語 (AI プログラムの記述・開発に適している言語)の一種. 1974 年に仏国の Colmerauer らにより開発された. 通産省の第五世代コンピュータプロジェクトの核言語として採用された. Prolog の特徴 記号処理言語,リスト処理言語: データとして,記号(シンボル)を取り扱うことができる. また,リストと呼ばれる可変長のデータの列を取り扱うことができる. 論理型言語: Prolog では新たな述語を論理式で定義することによってプログラムを 作り上げていく. すなわち, Prolog のプログラムは論理式の集まりである. Prolog や LISP は, FORTRAN や BASIC などの手続き型言語とは異なり, 非手続き型言語と呼ばれる. 対話的使用,会話的使用: P
Prologプログラミング: データベース 記号 Prologでは, 記号は英小文字(a, b, ..., z)の後に, 英字(下線も英字に含める)または数字を0文字以上続けた名前で表される. a coffee n_Tamura may2 英字の大文字と小文字は区別される. いくつかのPrologシステムでは漢字も使用できる. SICStus Prologでは,シングル・クォーテーションでくくる. 'コーヒー' '田村' 変数 Prologでは, 変数は英大文字(A, B, ..., Z, 下線も英大文字に含める)の後に, 英字または数字を0文字以上続けた名前で表される. A Coffee MAY2 _1 リスト Prologでは,リストは要素をコンマで区切って並べたものを 角カッコでくくって表す.たとえば [jan, 31, 1957, thu] [pi, 3.14] であり,一般的には
一階述語論理(いっかいじゅつごろんり、英: first-order predicate logic)とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理(英: second-order predicate logic)と呼び、さらなる一般化を加えた述語論理を高階述語論理(英: higher-order predicate logic)という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細はそれぞれの記事を参照。 命題論理では文を構成する最も基本的な命題(原子命題)は命題記号と呼ぶ一つの記号によって表していた。それに対し、一階述語論理においては、最も基本的な命題は原子論理式と
Visual Prolog is a versatile programming language built upon the logical language Prolog. It combines the best features of logical, functional, and object-oriented programming paradigms, offering a powerful, type-safe, high-level language. Visual Prolog is well-suited for developing applications for Microsoft Windows 32/64 platforms and supports advanced client-server and three-tier solutions. Vis
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く