GNU Prolog

GNU Prolog

開発元	ダニエル・ディアス[1]
最新版	1.5.0 / 2021年7月8日 (2021-07-08)
リポジトリ	github.com/didoudiaz/gprolog
プログラミング 言語	C言語
対応OS	Linux, Solaris, Windows, BSD, Mac OS X
種別	コンパイラ
ライセンス	GPLv2+、GPLv3+、またはその両方
公式サイト	www.gprolog.org

GNU Prolog（またはgprolog）は、ダニエル・ディアス（英: Daniel Diaz）によって開発されたコンパイラであり、UNIX、Windows、macOS、Linuxで使用可能なProlog用の対話型デバッグ環境を備えている。また、有限領域での制約プログラミング、確定節文法を用いた解析、オペレーティングシステムインタフェースなど、Prologの拡張機能も複数サポートしている。

コンパイラは、ソースコードをWarren抽象マシン (WAM) が解釈可能なバイトコードに変換し、それをスタンドアロン実行可能ファイルへと変換する。

• SWI-Prolog
• Comparison of Prolog implementations
• Prolog syntax and semantics

• 公式ウェブサイト

GNUプロジェクト
歴史	GNU宣言 フリーソフトウェア財団 欧州 インド ラテンアメリカ 自由ソフトウェアの定義 FOSSの歴史
ライセンス	GNU General Public License リンク例外 フォント例外 GNU Lesser General Public License GNU Affero General Public License GNU Free Documentation License GNAT Modified General Public License
ソフトウェア （一覧）	GNU 派生 Hurd Linux-libre glibc Bash Coreutils Autotools GCC binutils GDB GRUB GNUstep GIMP Jami Emacs TeXmacs Octave Taler R GSL GMP Electric Archimedes GNUnet GNU Privacy Guard Gnuzilla IceCat GNU Health GNUmed LilyPond Go Chess Gnash Gnulib Bazaar
代表者	アレシャンドリ・オリヴァ ベンジャミン・マコ・ヒル ブラッドリー・M・クーン ブライアン・フォックス エベン・モグレン フェデリコ・ハインツ ゲオルク・C・F・グレーフェ リカルド・ガリ リチャード・ストールマン ロバート・J・シャッセル ジョン・サリバン
その他	GNU/Linux名称論争 Revolution OS The Cathedral and the Bazaar BadVista Defective by Design
カテゴリ