The GNU Prolog web site
Table of contents What is GNU Prolog ? Features How does GNU Prolog work ? History Supported Platforms & last changes Manual Download Contributions and related developments Mailing lists Reporting bugs What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binari
Prolog入門 Introduction to Prolog (in Japanese)
Prolog の概要 PROgramming in LOGic (論理プログラミング)の省略． AI 用言語 (AI プログラムの記述・開発に適している言語)の一種． 1974 年に仏国の Colmerauer らにより開発された． 通産省の第五世代コンピュータプロジェクトの核言語として採用された． Prolog の特徴 記号処理言語，リスト処理言語: データとして，記号(シンボル)を取り扱うことができる． また，リストと呼ばれる可変長のデータの列を取り扱うことができる． 論理型言語: Prolog では新たな述語を論理式で定義することによってプログラムを 作り上げていく． すなわち， Prolog のプログラムは論理式の集まりである． Prolog や LISP は， FORTRAN や BASIC などの手続き型言語とは異なり， 非手続き型言語と呼ばれる． 対話的使用，会話的使用: P
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
