Learn Prolog Now!
We started a list of errata for the handheld version. Help us to improve Learn Prolog Now! If you find any mistakes such as typos or bugs in the example code, please let us know. We're pleased to announce that an "official" set of slides which follows the chapter-by-chapter breakdown is available. more We are collecting slides! more We are pleased to announce that Learn Prolog Now! is
jProlog home page
This directory contains the following files that might be of interest: README COPYRIGHT Prolog.java PrologFromJava.java announce builtins.java comp docPrologFromJava otherPrologInJava prologfromjava.tar read.pl someprolog Some people have trouble running a Prolog system to generate all .java files. Therefore, I have put all of them in a gzipped tar file Here are a zip file with just the .java file
Prolog Cafe: A Prolog to Java Translator System
Prolog Cafe is a Prolog-to-Java source-to-source translator system. Prolog programs are first translated into Java programs via the WAM (Warren Abstract Machine), and then those programs are compiled by a usual Java compiler such as SUN's JDK SE. Prolog Cafe has the advantages of portability, extensibility, and smooth interoperation with Java. For example, from the Java side, the translated code c
Strawberry Prolog
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
論理プログラミング第12回
実際に書いて動いた例を使って説明します． ソースはすべて http://web.sfc.keio.ac.jp/~mukai/2004-LP/cgi-in-prolog/にあります． 必要ならばCNSにログインしてコピーして下さい．下記の括弧( )の中はファイル名です． (ソース表示は，content-type= text/plain でプリントしているつもりですが， Internet ExplorerとSafariでは改行がうまく表示されない．一方，Mozillaではソース表示に関してはオーケー. ) Hello World (Perl) ソース (hello-in-perl.cgi) Hello World (Perl) の実行 Hello World (Prolog) ソース(hello-in-prolog.cgi) Hello World (Prolog) の実行 卓上計算機の
Kazunori Ueda
並列プログラミングへのアプローチ 上田 和紀 １．はじめに コンピュータの分野で，昔から注目を集め，にもかかわらずなかなか実 用かのすすまないものに並列処理というのがある． ある問題をコンピュータで処理しようとするときに，複数台のコンピュ ータに協力してあたらせることで効率をあげようというのは，きわめて 自然な発想である．現に我々が組織の中で仕事を進めるときはいつも， 与えられた人員がフルに活用されるように努めるものである（余談だが， コンピュータやプログラミングの分野で新しいことに取り組むとき，人 間あるいは人間社会におけるアナロジーを考えてみるとよいアイデアが 得られることが多い）．たしかに逐次処理のコンピュータやマイクロプ ロセッサも年々性能がよくなってきてはいるが，その性能向上には熱力 学的・量子力学的限界があって，もはや素子技術の変革を考慮に入れて も青天井とは言えないのだそうで
λProlog Home Page
λProlog: Logic programming in higher-order logic λProlog is a logic programming language based on higher-order intuitionistic logic in the style of Church's Simple Theory of Types. Such a strong logical foundation provides λProlog with logically supported notions of modular programming, abstract datatypes, higher-order programming, and the lambda-tree syntax approach to the treatment of bound vari
Visual Prolog: A Versatile Programming Language
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
Petit emacs lisp tips on .emacs.el
Petit emacs lisp tips 数十行程度の小細工 emacs lisp です。主に Meadow 1.15 - 2.20 (emacs 20.7 - 22.0.50.1) 上で動作確認しています。mule と聞いたらラバのことだと思っているので悪しからず。 これらのコードは、頻繁に訂正しています。ご利用は自己責任で。 Contents 起動速度を改善するための emacs lisp [Meadow 1] ハイレベル API で定義されたフォントの読み込みを高速化 [Meadow 2] 色々なサイズのフォントの設定 [04/11/11 追記] .emacs の読み込みスピードを計算 追記: Meadow 2 起動時間の推移（試行錯誤中） [04/02/14 更新] エラー箇所へのジャンプつき .emacs.el の自動バイトコンパイル [05/01/02 更新] ちょっとした機
Topic: lang/prolog/code/
CMU Artificial Intelligence Repository Prolog code for benchmarking, research, education, and fun lang/prolog/code/ bench/ Prolog Benchmarking Suites debug/ Prolog programs for debugging Prolog programs. demo/ Demonstration packages from various Prolog implementations eval/ Prolog code related to partial evaluation, metacircular evaluation, compilation, and so on. ext/ Collection of miscellaneous
LiLFeS
LiLFeSは、型付き素性構造 を用いたプログラミング言語です。特徴としては、 素性構造が組み込みデータとして使える。--- Prolog のような論理型言語 で，素性構造を組み込みデータ構造とするプログラムを簡単に書くことができ ます。 処理が高速。--- 処理が重くなりがちな素性構造の「単一化」を高速に処理 することができます。 強力なデータベース機能を持つ。--- 素性構造をキーとするデータベースを 利用することができます。 C++言語用のライブラリを提供。--- 型付き素性構造を扱うプログラムを C++ 言語で簡単に実装することができます。 などが挙げられます。LiLFeSが提供するC++言語用の素性構造ライブラリを用いて、C++言語では記述しにくい「素性構造」や「単一化」を 多方面で活用できるようになっています。 LiLFeSの機能についてのより詳しい解説はこちらをご覧ください。
プログラミングと開発者のための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の構文要
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.cse.psu.edu/~dale/lProlog/
http://www.hamid2.soft.iwate-pu.ac.jp/hamid1/professor/kure/Lecture/Prolog/
http://goanna.cs.rmit.edu.au/~winikoff/wp/
Prologリンク集
SB-Prolog under FreeBSD
Introduction to Prolog and Computational Linguistics
http://tsuru.jaist.ac.jp:8000/~fuji/k214/12th/html3/howto_p7.html
お気楽 Prolog プログラミング入門