Gentoo-Portage.com

Search Portage:
Login     Register     Language Tools

dev-lang/swi-prolog

free, small, and standard compliant Prolog compiler

Screenshots

  • swi-prolog-5.7.1
    ~alpha ~amd64 ~ppc ~sparc ~x86
    berkdb debug doc gmp hardened java minimal odbc readline ssl static test zlib X elibc_FreeBSD java
    View      Download      License: LGPL-2.1
  • swi-prolog-5.6.61
    ~alpha ~amd64 ~ppc ~sparc ~x86
    berkdb debug doc gmp hardened java minimal odbc readline ssl static test zlib X elibc_FreeBSD java
    View      Download      License: LGPL-2.1
  • swi-prolog-5.6.60
    ~alpha ~amd64 ~ppc ~sparc ~x86
    berkdb debug doc gmp hardened java minimal odbc readline ssl static test zlib X elibc_FreeBSD java
    View      Download      License: LGPL-2.1
  • swi-prolog-5.6.59
    ~alpha ~amd64 ~ppc ~sparc ~x86
    berkdb debug doc gmp hardened java minimal odbc readline ssl static latex test threads zlib X elibc_FreeBSD java
    View      Download      License: LGPL-2.1
  • swi-prolog-5.6.58
    ~alpha ~amd64 ~ppc ~sparc ~x86
    berkdb debug doc gmp hardened java minimal odbc readline ssl static latex test threads zlib X elibc_FreeBSD java
    View      Download      License: LGPL-2.1
  • swi-prolog-5.6.57
    ~alpha ~amd64 ~ppc ~sparc ~x86
    berkdb debug doc gmp hardened java minimal odbc readline ssl static latex threads zlib X elibc_FreeBSD java
    View      Download      License: LGPL-2.1
  • swi-prolog-5.6.55
    ~alpha ~amd64 ~ppc ~sparc ~x86
    berkdb debug doc gmp hardened java minimal odbc readline ssl static latex threads zlib X elibc_FreeBSD java
    View      Download      License: LGPL-2.1
  • swi-prolog-5.6.54
    ~alpha ~amd64 ~ppc ~sparc ~x86
    berkdb debug doc gmp hardened java minimal odbc readline ssl static latex threads zlib X elibc_FreeBSD java
    View      Download      License: LGPL-2.1
  • swi-prolog-5.6.52
    ~alpha ~amd64 ~ppc ~sparc ~x86
    berkdb debug doc gmp hardened java minimal odbc readline ssl static latex threads zlib X elibc_FreeBSD java
    View      Download      License: LGPL-2.1
  • swi-prolog-5.6.51
    ~alpha ~amd64 ~ppc ~sparc ~x86
    berkdb debug doc gmp hardened java minimal odbc readline ssl static latex threads zlib X elibc_FreeBSD java
    View      Download      License: LGPL-2.1
  • swi-prolog-5.6.50
    ~alpha ~amd64 ~ppc ~sparc ~x86
    berkdb debug doc gmp hardened java minimal odbc readline ssl static latex threads zlib X elibc_FreeBSD java
    View      Download      License: LGPL-2.1
  • swi-prolog-5.6.49
    alpha amd64 ppc sparc x86
    berkdb debug doc gmp hardened java minimal odbc readline ssl static latex threads zlib X elibc_FreeBSD java
    View      Download      License: LGPL-2.1
Why is swi-prolog configured with the --disable-gmp option?
This severely limits the functionalities of the system.
- 17/09/2007 14:07 GMT


Leave a comment:

Please login to leave a comment