gpo.zugaina.org

Search Portage & Overlays:

dev-lang/swi-prolog

free, small, and standard compliant Prolog compiler

Screenshots

  • swi-prolog-7.1.11
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: funtoo (distro)
  • swi-prolog-7.1.11
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo (distro)
  • swi-prolog-7.1.10
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo (distro)
  • swi-prolog-7.1.10
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: funtoo (distro)
  • swi-prolog-7.1.9
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: funtoo (distro)
  • swi-prolog-7.1.9
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo (distro)
  • swi-prolog-7.1.8
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: funtoo (distro)
  • swi-prolog-7.1.8
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo (distro)
  • swi-prolog-6.6.4
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo (distro)
  • swi-prolog-6.6.4
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: funtoo (distro)
  • swi-prolog-6.6.3
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo (distro)
  • swi-prolog-6.6.3
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: funtoo (distro)
  • swi-prolog-6.6.2
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: funtoo (distro)
  • swi-prolog-6.6.2
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo (distro)
  • swi-prolog-6.5.3
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo (distro)
  • swi-prolog-6.5.3
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: funtoo (distro)
  • swi-prolog-6.4.1
    amd64 ppc x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: funtoo (distro)
  • swi-prolog-6.4.1
    amd64 ppc x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive debug doc +gmp hardened java minimal odbc +readline ssl static-libs test zlib X elibc_FreeBSD java

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo (distro)