diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-19 10:44:11 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-19 10:44:11 +0000 |
| commit | 4e942b64191e2ef98dce2c5af31047a8640db768 (patch) | |
| tree | 8c3238b7f0cbec2e9210d52f562960bb22323a7d /lang/gprolog | |
| parent | - Fix trailing whitespace in pkg-descrs, categories [a-f]* (diff) | |
- Fix trailing whitespace in pkg-descrs, categories [g-n]*
Approved by: portmgr blanket
Diffstat (limited to 'lang/gprolog')
| -rw-r--r-- | lang/gprolog/pkg-descr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/gprolog/pkg-descr b/lang/gprolog/pkg-descr index d8a68ba86ea0..c64552c8a47c 100644 --- a/lang/gprolog/pkg-descr +++ b/lang/gprolog/pkg-descr @@ -5,13 +5,13 @@ 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). +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. +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,...). +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 |