| 1 | # $Id: $ |
|---|
| 2 | |
|---|
| 3 | PortSystem 1.0 |
|---|
| 4 | name gprolog |
|---|
| 5 | version 1.2.16 |
|---|
| 6 | |
|---|
| 7 | categories lang |
|---|
| 8 | maintainers pmoura@mac.com |
|---|
| 9 | platforms darwin |
|---|
| 10 | description GNU Prolog compiler |
|---|
| 11 | |
|---|
| 12 | long_description 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 binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very encouraging (comparable to commercial systems). Beside the native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level) with a debugger. |
|---|
| 13 | |
|---|
| 14 | homepage http://gprolog.inria.fr/ |
|---|
| 15 | master_sites ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/ |
|---|
| 16 | |
|---|
| 17 | checksums md5 d7fe87106cd3e7e770375f04dd0d14c2 |
|---|
| 18 | |
|---|
| 19 | distname ${name}-${version} |
|---|
| 20 | worksrcdir ${name}-${version}/src |
|---|
