aboutsummaryrefslogtreecommitdiff
path: root/lang/gprolog/pkg-descr
diff options
context:
space:
mode:
authorYing-Chieh Liao <ijliao@FreeBSD.org>2001-07-08 07:57:56 +0000
committerYing-Chieh Liao <ijliao@FreeBSD.org>2001-07-08 07:57:56 +0000
commitab23c9993d96b883239b7d531bf4c25625335e2c (patch)
tree896ce0e556062f9cd70ad5bac81ee1f299aa619d /lang/gprolog/pkg-descr
parent827ac39580c20af8d469a3df0f7b752cb7e24181 (diff)
Notes
Diffstat (limited to 'lang/gprolog/pkg-descr')
-rw-r--r--lang/gprolog/pkg-descr23
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