diff options
author | Ludovic Courtès <ludo@gnu.org> | 2013-10-09 16:14:23 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2013-10-09 16:14:23 +0200 |
commit | a22dc0c49aed0babe16ef92ae24847b343b7eb02 (patch) | |
tree | 2d1ce88952d68274437dc07fbffbea688bc0eea3 /gnu/packages/gprolog.scm | |
parent | 668d48a6847bcdc69d2c6e6aa44090f566ecd05b (diff) | |
download | guix-a22dc0c49aed0babe16ef92ae24847b343b7eb02.tar.gz |
Synchronize package descriptions with the Womb.
* gnu/packages/algebra.scm, gnu/packages/aspell.scm, gnu/packages/autotools.scm, gnu/packages/base.scm, gnu/packages/bash.scm, gnu/packages/bison.scm, gnu/packages/cdrom.scm, gnu/packages/cflow.scm, gnu/packages/compression.scm, gnu/packages/cpio.scm, gnu/packages/cppi.scm, gnu/packages/ddrescue.scm, gnu/packages/dejagnu.scm, gnu/packages/ed.scm, gnu/packages/emacs.scm, gnu/packages/fdisk.scm, gnu/packages/freeipmi.scm, gnu/packages/gawk.scm, gnu/packages/gcal.scm, gnu/packages/gcc.scm, gnu/packages/gdb.scm, gnu/packages/gdbm.scm, gnu/packages/gettext.scm, gnu/packages/ghostscript.scm, gnu/packages/global.scm, gnu/packages/gnunet.scm, gnu/packages/gnupg.scm, gnu/packages/gnutls.scm, gnu/packages/gperf.scm, gnu/packages/gprolog.scm, gnu/packages/groff.scm, gnu/packages/grub.scm, gnu/packages/gsasl.scm, gnu/packages/guile.scm, gnu/packages/gv.scm, gnu/packages/help2man.scm, gnu/packages/idutils.scm, gnu/packages/indent.scm, gnu/packages/less.scm, gnu/packages/libidn.scm, gnu/packages/libsigsegv.scm, gnu/packages/libunistring.scm, gnu/packages/lightning.scm, gnu/packages/linux.scm, gnu/packages/lsh.scm, gnu/packages/m4.scm, gnu/packages/mail.scm, gnu/packages/maths.scm, gnu/packages/multiprecision.scm, gnu/packages/nano.scm, gnu/packages/ncurses.scm, gnu/packages/nettle.scm, gnu/packages/ocrad.scm, gnu/packages/oggvorbis.scm, gnu/packages/parted.scm, gnu/packages/plotutils.scm, gnu/packages/pth.scm, gnu/packages/readline.scm, gnu/packages/recutils.scm, gnu/packages/rush.scm, gnu/packages/scheme.scm, gnu/packages/screen.scm, gnu/packages/shishi.scm, gnu/packages/smalltalk.scm, gnu/packages/system.scm, gnu/packages/texinfo.scm, gnu/packages/time.scm, gnu/packages/unrtf.scm, gnu/packages/version-control.scm, gnu/packages/wdiff.scm, gnu/packages/wget.scm, gnu/packages/which.scm, gnu/packages/xnee.scm, gnu/packages/zile.scm: Change value of the 'description' field to that of the Womb.
Diffstat (limited to 'gnu/packages/gprolog.scm')
-rw-r--r-- | gnu/packages/gprolog.scm | 24 |
1 files changed, 4 insertions, 20 deletions
diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm index f82a1a13f4..ad887cccaa 100644 --- a/gnu/packages/gprolog.scm +++ b/gnu/packages/gprolog.scm @@ -48,24 +48,8 @@ (home-page "https://www.gnu.org/software/gprolog/") (synopsis "Prolog compiler") (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. - -The Prolog part conforms to the ISO standard for Prolog with many -extensions very useful in practice (e.g., global variables, OS -interface, sockets). - -GNU Prolog also includes an efficient constraint solver over finite domains. -This opens contraint logic programming to the user combining the power of -constraint programming to the declarativity of logic programming.") + "GNU Prolog is a standards-compliant Prolog compiler with constraint +solving over finite domains. It accepts Prolog+ constraint programs and +produces a compiled, native binary which can function in a stand- alone +manner. It also features an interactive interpreter.") (license (list gpl2+ lgpl3+)))) |