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コンパイラ
ロジバンでPrologプログラミングしてみた！ - Qiita
ロジバンの紹介 今回発表する言語はロジバンという言語です。 聞いたことがないかもしれないので、まずはその紹介からです。 ロジバンというのは、元々、基本的に人間が話すために作られた人工の言語です。 最初はサピア＝ウォーフの仮説という言語学上の問題を検証するために作られた言語ですが、元々言語学者が作った下敷きからスタートしているので、色々と面白い性質があります。 例えば下の様な感じです。 音中心で設計されていて、同音異義語が原理上存在しない 文法が厳格に決められていて、構造に曖昧さが表れない 一階述語論理をベースに組み立てられている 文化非依存 この様な性質を持っていることから、ロジバンで話しかけたり、書かれたりした文は、命題としてプログラムが実行可能という性質を持っています。 特に日本語や英語では根本に持っている構造的な曖昧さが発生しないというのが大きくて、日本語では解析不可能な長文でもプロ
コーディングに対する考え方を変える6つのプログラミングパラダイム | POSTD
私は時折、コーディングに対する考え方を変えさせられるような、従来と非常に異なるプログラミング言語に出会います。本記事では、その中でも特に気に入っている発見をいくつかご紹介したいと思います。 これは、先賢による「関数型プログラミングは世界を変える！」的な投稿ではありません。本記事で挙げるのは、もっと「知る人ぞ知る」的なリストです。多くの読者の方にとって、以下の言語やパラダイムは聞いたことのないものが大半だと思いますので、私が経験したように、これらの新しい概念を学ぶ楽しさを感じていただければ幸いです。 注：私は以下の言語の多くに関して最低限の経験しかありません。その発想に引き込まれたのであって、専門的知識は持ち合わせていないため、訂正すべき点や誤りがあればどうぞご指摘ください。また、本記事で取り上げていない新しいパラダイムや概念に出会った方は、ぜひお知らせください。 最新情報：本記事が r/p
Writing an HTTP server in Prolog
I’m taking a class now on programming languages where I’m learning all about the different styles of languages and how they can all be useful, as well as a class on computer networks where I’m learning all about how the internet works and how computers communicate with each other across networks. I had the idea last week to try to combine what I’m learning in the two classes and implement one of m
Teyjus
The Teyjus system is an efficient implementation of the higher-order logic programming language Lambda Prolog. The main strength of Lambda Prolog, a language developed by Dale Miller and Gopalan Nadathur, is the support it offers for what is known as lambda tree syntax, a new and effective way to view the structure of complex syntactic objects such as types, formulas, proofs and programs. Lambda P
[pdf]Swing実習マニュアル 大黒学
大阪にはキャバクラが多い街として「キタ」と「ミナミ」があるんです。 この2つの街にはいろんなキャバクラがあるし、競合店が多いことから他のエリアより時給相場が高い上、新規のお客さんも来店しやすい。 だから、関西のキャバクラで働く上で、キタ、もしくはミナミのキャバクラを選ぶことがすごくおすすめ！ けど、そうは言っても「じゃあキタとミナミだったらどっちの方が良いの？」って思う方もいるかもしれませんよね（笑） なのでここでは、大阪のキタとミナミのキャバ嬢目線から見た違いについて解説していきます！ 大阪のキャバクラ「キタ」と「ミナミ」の違い では大阪のキタとミナミには、キャバクラにどんな違いがあるのか、各項目に分けて紹介していきます！ 大阪のキャバクラで頑張って働いていこうと思ってる方は、自分の目的やキャバ嬢としてのキャリアに合ったお店を選んでくださいね！ お給料 まずはお給料について。お給料は、大
Prolog入門 Introduction to Prolog (in Japanese)
Prolog の概要 PROgramming in LOGic (論理プログラミング)の省略． AI 用言語 (AI プログラムの記述・開発に適している言語)の一種． 1974 年に仏国の Colmerauer らにより開発された． 通産省の第五世代コンピュータプロジェクトの核言語として採用された． Prolog の特徴 記号処理言語，リスト処理言語: データとして，記号(シンボル)を取り扱うことができる． また，リストと呼ばれる可変長のデータの列を取り扱うことができる． 論理型言語: Prolog では新たな述語を論理式で定義することによってプログラムを 作り上げていく． すなわち， Prolog のプログラムは論理式の集まりである． Prolog や LISP は， FORTRAN や BASIC などの手続き型言語とは異なり， 非手続き型言語と呼ばれる． 対話的使用，会話的使用: P
P#: A concurrent Prolog for .NET
P# is a compiler which facilitates interoperation between a concurrent superset of the Prolog programming language and C#. This enables Prolog to be used as a native implementation language for Microsoft's .NET platform. P# compiles a linear logic extension of Prolog to C# source code. P# can create C# objects from Prolog and use C#'s graphical, networking and other libraries. P# adds language con
『時相論理言語 Temporal Prolog 処理系を公開』
昔懐かしい、時相論理言語。1980年代後期だったか… その中のTemporal Prologについては、僕は、かなり詳しい。 Temporal Prologの考案者の桜川氏とは、友人である。 そのTemporal Prologの処理系(実行系)を、公開した。 時相論理言語の実現としては、通常Prologと同じ効率で動く。 これは、大変に偉いと自負している。 (ただし、通常のProlog処理系の実現としては、超素朴で低性能。特に、節を探すところなんぞは、最悪。ま、Temporal Prologが効率よく動くことを示すのが目的で、Prolog実現は(昔に)必死でやったので、こんなもんだ) 詳しくは、 効率の良い実現に関して 処理系マニュアル 処理系のソース http://www.takeoka.org/~take/ailabo/prolog/tmpro/tmpro114.lsp (文字コードは
ウソつきっ娘論理プログラミング - 小人さんの妄想
全ての問題にかわいい女の子が出てくる、「登場する人物の発言を手がかりに問題を解くタイプ」の論理パズル集。 萌え萌えウソつきッ娘論理パズルI 作者: 小野田博一出版社/メーカー: イーグルパブリシング発売日: 2009/09/25メディア: 単行本（ソフトカバー）購入: 5人 クリック: 172回この商品を含むブログ (7件) を見る * 出版社での紹介 >> http://www.tp-ep.co.jp/ep-hp/top.html 第１問目は、こんな感じです。 * 第１問目の画像イメージ >> http://www.tp-ep.co.jp/ep-hp/images/top/ronripazuru_01.jpg 【Q1】水泳大会 水泳大会で、この４人が１位から４位を獲得しました（同順位はありません）。 スタート前の予想は下のとおりで、３人が当たり、１人が外れました。 誰が何位だったのでしょ
SWI-Prolog's home
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
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Why Prolog? - ProB Documentation
http://nojiriko.asia/
Book Details
サービス終了のお知らせ
Who killed Prolog? | Hacker News
いろんな言語で宿題からProlog問題・解答集
お気楽 Prolog プログラミング入門
GitHub - Erdwolf/prolog: A prolog interpreter written in Haskell.