GNU Prolog
From Wikipedia, the free encyclopedia
 | |
| 開発元 | ダニエル・ディアス[1] |
|---|---|
| 最新版 |
1.5.0
/ 2021年7月8日 |
| リポジトリ | |
| プログラミング 言語 | C言語 |
| 対応OS | Linux, Solaris, Windows, BSD, Mac OS X |
| 種別 | コンパイラ |
| ライセンス | GPLv2+、GPLv3+、またはその両方 |
| 公式サイト |
www |
GNU Prolog（またはgprolog）は、ダニエル・ディアス（英: Daniel Diaz）によって開発されたコンパイラであり、UNIX、Windows、macOS、Linuxで使用可能なProlog用の対話型デバッグ環境を備えている。また、有限領域での制約プログラミング、確定節文法を用いた解析、オペレーティングシステムインタフェースなど、Prologの拡張機能も複数サポートしている。
コンパイラは、ソースコードをWarren抽象マシン (WAM) が解釈可能なバイトコードに変換し、それをスタンドアロン実行可能ファイルへと変換する。
