簡易LISP処理系の実装例（Prolog版） - Qiita
【他言語版へのリンク記事】簡易LISP処理系の実装例【各言語版まとめ】 この記事は，下記拙作記事のProlog版（SWI Prolog）を抜粋・修正したものを利用した，簡易LISP処理系（"McCarthy's Original Lisp"）の実装例をまとめたものです． 『括弧文字列』簡易パーサ実装例まとめ リスト処理関数（cons,car,cdr,eq,atom）実装例まとめ（LISPと全く同じコンスセル操作が可能であるため実装不要） 最低限の機能をもったLISP処理系の実装の場合，本体である評価器（eval）実装はとても簡単であり，むしろ，字句・構文解析を行うS式入出力（やリスト処理実装）の方が開発言語ごとの手間が多く，それが敷居になっている人向けにまとめています． 処理系の概要 実行例は次の通り．SWI Prolog 8.0.2にて確認． $ swipl -s jmclisp.swi
On Lisp --- Prolog
この章では埋め込み言語としてPrologを実装する方法を説明する． 第19章ではデータベースに対する複雑なクエリに答えるプログラムを書く方法を示した． ここでは新たに要素を一つ加える． 規則，すなわち既に知られている事実から別の事実を推論できるようにする仕組みだ． 規則の集合は含意のツリーを定義する． 無限個の事実を含意する規則を扱うには， その含意ツリーで非決定的な検索を行わなければならない． Prologは埋め込み言語の素晴しい例になる． それはパターンマッチング，非決定性，規則の3要素を組み合わせたものだ． 第18，22章では最初の2つを独立に示した． 今すでに手にしているパターンマッチングと非決定的選択のためのオペレータの上に Prologを構築することで， 多層構造を持つ本物のボトムアップシステムの例が得られる． \reffig{fig:LayersOfAbstraction}に
Prolog入門 Introduction to Prolog (in Japanese)
Prolog の概要 PROgramming in LOGic (論理プログラミング)の省略． AI 用言語 (AI プログラムの記述・開発に適している言語)の一種． 1974 年に仏国の Colmerauer らにより開発された． 通産省の第五世代コンピュータプロジェクトの核言語として採用された． Prolog の特徴 記号処理言語，リスト処理言語: データとして，記号(シンボル)を取り扱うことができる． また，リストと呼ばれる可変長のデータの列を取り扱うことができる． 論理型言語: Prolog では新たな述語を論理式で定義することによってプログラムを 作り上げていく． すなわち， Prolog のプログラムは論理式の集まりである． Prolog や LISP は， FORTRAN や BASIC などの手続き型言語とは異なり， 非手続き型言語と呼ばれる． 対話的使用，会話的使用: P
Prolog で SPA を書く - Qiita
"Prolog" を知っていますか? "Prolog" (プロログ) というのは、古くからあるプログラミング言語のひとつで、1972 年に開発されました。 Prolog はオブジェクト指向や関数型とも違う、"論理プログラミング言語"という枠に分類されています。 面白いことに、Prolog プログラミングにおいては、手続き型言語のように、コンピュータに動作の手順を教えるのとは違うやり方をします。 Prolog コードとして、"事実 (fact)"と"規則 (rule)"を記述するのです (下記例)。 % [事実 (fact)] ソクラテスは人である。 human(socrates). % [規則 (rule)] 人は死ぬ。 mortal(X) :- human(X). こうして記述された Prolog プログラムコードを、Prolog の処理系が読み込んだのち、ユーザーは処理系に対して "問
SWI-PrologでWebアプリケーション - ¬¬日常日記
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
Logica
Logica is an open source declarative logic programming language for data manipulation. Logica extends syntax of logic programming for intuitive and efficient data manipulation. It compiles to SQL thus providing you access to the power of SQL engines with the convenience of logic programming syntax. Examples One may say that for programming languages like Python and Java functions are the basic bui
論理プログラミング言語Logicaでデータサイエンス100本ノック
Googleが発表したOSSプロジェクトである論理プログラミング言語Logicaを使って、データサイエンス100本ノック(構造化データ加工編)の設問を解きながらどのような言語かを確認していく。 (BigQueryのクエリとして実行していく) 最初に、プログラミング言語Logicaの特徴を纏めておく。 論理型プログラミング言語: このカテゴリではPrologが有名 SQLにコンパイルされる: 現状BigQueryとPostgreSQLに対応 モジュール機構がある: SQLと比較した強み コンパイラはPythonで書かれている: Jupyter NotebookやGoogle Colabですぐ始められる Colabでチュートリアルが用意されているので、まずこちらからやると良いと思う。 コードの見た目は関係論理の記述に似ている。 事前に、データサイエンス100本ノックのテーブルデータをBigQu
計算モデル論2020
last modified:2020/09/01 (by K. Yamada) 2020前期 計算モデル論（山田） 講義資料 講義で使う資料を以下に示します． ガイダンス資料(pdf) 教科書： 猪股俊光，山田敬三： 計算モデルとプログラミング， 森北出版，2019，ISBN: 978-4-627-85471-0． 学習支援コーナー案内(pdf) 講義計画 ５月１９日（火）：第１回：オリエンテーション， 講義動画配信， 第１回レポート課題 ５月２６日（火）：第２回：有限状態機械(1)：順序機械， (数学の準備)， 講義動画配信， 第２回レポート課題 ６月２日（火）：第３回：有限状態機械(2)：有限オートマトン， 講義動画配信， 第３回レポート課題 ６月９日（火）：第４回：有限状態機械(3)：有限オートマトンの限界， 講義動画配信， 第４回レポート課題 ６月１６日（火）：第５回：チューリング
計算モデルとプログラミング - Haskell勉強会
ラムダ計算を分かりやすく説明した本がありました。 「計算モデルとプログラミング」という本です。 計算モデルとプログラミング 作者:猪股 俊光,山田 敬三 発売日: 2019/04/19 メディア: 単行本 本書を参考にして、ラムダ計算の説明方法を学んでみたいと思います。 目次 著者紹介 出版社情報 書評 目次 第1章 計算の世界と計算モデル 1.1 計算の世界 1.2 計算モデル 1.3 計算モデルとプログラミング言語 1.4 アルゴリズムの記法 1.5 数の体系 1.6 自然数上の計算と計算モデル 演習問題 第2章 抽象機械型計算モデル 2.1 機械による計算のモデル化 2.2 順序機械 2.3 有限オートマトン 2.4 チューリング機械 2.5 チューリング機械の計算可能性 2.6 まとめ 演習問題 第3章 命令型計算モデル 3.1 命令による計算のモデル化 3.2 レジスタ機械 3.
SWI-Prolog downloads
HOME DOWNLOAD SWI-Prolog Sources/building Docker images Add-ons Browse GIT DOCUMENTATION Manual Packages FAQ Command line PlDoc Bluffers▶ Prolog syntax PceEmacs HTML generation License Publications Rev 7 Extensions TUTORIALS Beginner▶ Getting started Learn Prolog Now! Simply Logical Debugger Development tools Advanced▶ Modules Grammars (DCGs) clp(fd) Printing messages PlDoc Web applications▶ Web a
Prolog のインストール(Windows) と Emacs の設定 | プログラマーズ雑記帳
例のように書けば、一応、日本語は使えます。 コメント以外で日本語を使う場合は BOM 付きの UTF-8 で保存します。 ただし、質問等の対話入力で表示がおかしくなったり、 後述する Emacs からの使用で正常に動作しなかったりします。 起動と知識ベースファイルの読み込み 実際に使う場合には、 (インストールフォルダー)/bin 以下にある次の 2 つのどちらかを使用します。 swipl-win.exe swipl.exe swipl.exe はコンソール版なので、 通常 swpl-win.exe を使います。 swipl.exe は Emacs との連携などで使用します。 [スタート] メニューから Prolog を起動すると swipl-win.exe が実行されます。 ここで、 メニューか、次のようなコマンドでファイルを読み込みます。 パス区切りは \\(2 回重ねる) または /
理学部情報科学科3S - okura diary
書かないと記憶の彼方に消えてしまうと思うので簡単な振り返りメモです。 対象読者 : そこのあなた 後輩に有益かどうかはわかりません。2Aについては同期のブログ kammer0820.hatenablog.comが詳しいです。 課題のネタバレなどはなるべくないように注意したつもりなのでご安心ください(?) 諸々の成果物は以下にあげてあります。 github.com ネタバレ回避のためにバイナリのみです。(使い方のdocumentはそのうち整理したい) 月2 オペレーティングシステム 月3,4 システムプログラミング実験 火2 離散数学 火3,4 関数論理型プログラミング実験 水2 情報論理 木2 言語処理系論 木3,4 ハードウェア実験 金2 計算機構成論 金3,4 情報科学演習Ⅰ 課外 まとめ 月2 オペレーティングシステム 講義名のとおりOSの仕事や仕組みを一通り学びました。 プロセス管
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - jsakamoto/Spprologa: "Build client web apps with Prolog" - The library to make Single Page Prolog Applications!
SWI-Prolog -- The HTTP server libraries)
section('packages/http.html')
Google Colaboratory
Programming in Prolog Part 4 - Lists, Pairs and the Member Function
Programming In Prolog Part 3 - Scope, Structures and Arithmetic Operations
Programming In Prolog Part 2 - Syntax, Questions and Structs
Programming In Prolog Part 1 - Facts, Rules and Queries