言語仕様の一部しか実装していませんが、一応動くものができたので公開してみます。(v10以降の)Node.jsが必要です。 github.com Prologとは 論理型プログラミング言語の一つです。論理学をプログラミング言語に落とし込んだようなもので、「ある論理式の集合からある論理式が導けるか」みたいなものが判定できます。もう少し広げて、（論理式内に自由変数を導入し）「論理式の集合が与えらたとき、その中の各自由変数をどのような項で代入するとゴールとなる論理式が導けるか」というクエリの処理が可能です。 Wikipediaの記事が恐ろしいほど詳しいです。よく使われる処理系としてSWI-Prologがあります。 使い方 npmパッケージとして公開しています。以下のようにして使えます。 $ npm install ts-prolog -g $ ts-prolog 使用例 以下のようなファイルをru
Extend Scryer Prolog to include the following, among other features: call/N as a built-in meta-predicate. ISO Prolog compliant throw/catch. Built-in and user-defined operators of all fixities, with custom associativity and precedence. Bignum, rational number and floating point arithmetic. Built-in control operators (,, ;, ->, etc.). A revised, not-terrible module system. Built-in predicates for li
Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である[1]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキ
Squeak Perl Scheme Ruby Prolog 色々な言語でライフゲームを作ってみました。 ライフゲームについてはライフゲーム保存会 が詳しいです。また、The Game of Life ですばらしい Java アプレットを遊ぶ事が出来ます。 まず手始めに、Squeak で原型を作りました。Squeak は オブジェクト指向の元祖である Smalltalk の直系の子孫です。最近の言語はどれもオブジェクト指向の 影響を受けているので、まず Squeak で作ったら他にも移植しやすいだろうと思ったのです。 作りながら決めた仕様は以下のとおり。 盤のサイズは 20 x 20 最初ランダムなパターンが現れる 0.2秒に一度世代交代 50 回世代交代をしたらまたランダムなパターンを生成 盤のクラス名は LifeMap ただ、Squeak 版以外は手を抜いてコマンドライン実行です。全部
PrologでWebアプリケーションってどんな感じなんだろう、と思って試してみました。何でも出来そうなProlog処理系と言えば真っ先に思い付くのがSWI-Prologです。検索してみるとあっさりと目的のページがみつかりました。 http://www.swi-prolog.org/packages/http.htm ここの載っているサンプルにほんのちょっとだけ手を加えて次のようなものを書いてみました。 :- use_module(library('http/thread_httpd')). :- use_module(library('http/http_dispatch')). :- use_module(library('http/html_write')). server(Port) :- http_server(http_dispatch, [port(Port)]). :- ht
はじめに 1970年代にヨーロッパを主な舞台として生まれ育ったプログラミング言語Prolog（programming in logic）は、事実とルールから一種の自動推論を行う点に特徴があります。その基本的な動作は200行ほどのRubyプログラムで実現できます。ここでは、筆者がRubyで作成したProlog処理系を解説します。 Prologによる簡単なプログラム例を下記に示します。 これは「ソクラテスは人間（human）である」「プラトンは人間である」という事実と、「人間ならばいつか死ぬ（mortal）」というルールを書いたものです。mortal(X) :- human(X)は、変数Xが実際には何であったとしても、もしもhuman(X)が成り立つならば（つまりXが人間ならば）、mortal(X)が成り立つ（つまり、Xはいつか死ぬ）という意味です。 簡略化のため、本処理系ではRubyの構文要
Prolog Online Text Ｐｒｏｌｏｇオンラインテキスト 目次 Chapter1.プログラムを動かしてみる Chapter2.トレースしてみる Chapter3.バックトラック Chapter4.Ｐｒｏｌｏｇプログラムの構文 Chapter5.Ｐｒｏｌｏｇプログラムの意味 Chapter6.猿はバナナを獲れるか？ Chapter7.プログラムの実行順序 Chapter8.いろいろなプログラム Chapter9.リスト処理 Chapter10.算術計算 Chapter11.入出力 Chapter12.様々な組み込み関数 Chapter13.Ｐｒｏｌｏｇ応用プログラム Chapter14.人工知能を作ってみよう 参考文献 TopPageに戻る
Prolog の概要 PROgramming in LOGic (論理プログラミング)の省略． AI 用言語 (AI プログラムの記述・開発に適している言語)の一種． 1974 年に仏国の Colmerauer らにより開発された． 通産省の第五世代コンピュータプロジェクトの核言語として採用された． Prolog の特徴 記号処理言語，リスト処理言語: データとして，記号(シンボル)を取り扱うことができる． また，リストと呼ばれる可変長のデータの列を取り扱うことができる． 論理型言語: Prolog では新たな述語を論理式で定義することによってプログラムを 作り上げていく． すなわち， Prolog のプログラムは論理式の集まりである． Prolog や LISP は， FORTRAN や BASIC などの手続き型言語とは異なり， 非手続き型言語と呼ばれる． 対話的使用，会話的使用: P
This program is dedicated to our teacher, Prof. Dimiter Skordev. Strawberry Prolog version 6.1 from August 23, 2023 This Prolog compiler is part of AI - Project. Download Strawberry Prolog Light. This is our free edition. New sample programs Metro – We present a new scheme for the movement of metro trains which will increase the capacity of the metro tube with 50%. This will decrease the traveling
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
