[ bianca ]
[ ソース: gprolog ]
パッケージ: gprolog (1.4.5.0-3)
GNU Prolog compiler
GNU Prolog is a free Prolog compiler with constraint solving over finite domains (FD). GNU Prolog is largely compliant with the ISO standard and is part of the Prolog Commons initiative.
This package contains the compiler and runtime system for the ISO standard version of GNU Prolog, including the prototype modules implementation.
その他の gprolog 関連パッケージ
|
|
|
|
-
- dep: libc6 (>= 2.29)
- GNU C Library: Shared libraries
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- rec: gprolog-doc
- documentation for the GNU Prolog compiler