diff options
author | Ying-Chieh Liao <ijliao@FreeBSD.org> | 2001-07-08 07:57:56 +0000 |
---|---|---|
committer | Ying-Chieh Liao <ijliao@FreeBSD.org> | 2001-07-08 07:57:56 +0000 |
commit | ab23c9993d96b883239b7d531bf4c25625335e2c (patch) | |
tree | 896ce0e556062f9cd70ad5bac81ee1f299aa619d /lang/gprolog/pkg-descr | |
parent | 827ac39580c20af8d469a3df0f7b752cb7e24181 (diff) |
Notes
Diffstat (limited to 'lang/gprolog/pkg-descr')
-rw-r--r-- | lang/gprolog/pkg-descr | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/lang/gprolog/pkg-descr b/lang/gprolog/pkg-descr new file mode 100644 index 000000000000..1299bc98ced4 --- /dev/null +++ b/lang/gprolog/pkg-descr @@ -0,0 +1,23 @@ +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. + +The Prolog part conforms to the ISO standard for Prolog with many extensions +very useful in practice (global variables, OS interface, sockets,...). + +GNU Prolog also includes an efficient constraint solver over Finite Domains +(FD). This opens contraint logic pogramming to the user combining the power +of constraint programming to the declarativity of logic programming. + +WWW: http://gnu-prolog.inria.fr/ + +Douglas Anestad +yotta@dougdidit.com |