gpo.zugaina.org

Search Portage & Overlays:

dev-lang/swi-prolog

versatile implementation of the Prolog programming language

Screenshots

  • swi-prolog-8.1.1
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp java +libedit libressl minimal odbc pcre qt5 readline ssl test uuid X yaml

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-8.1.0
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp java +libedit libressl minimal odbc pcre qt5 readline ssl test uuid X yaml

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-8.0.1
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp java +libedit libressl minimal odbc pcre qt5 readline ssl test uuid X yaml

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-8.0.0
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp java +libedit libressl minimal odbc pcre qt5 readline ssl test uuid X yaml

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-7.7.25
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp java +libedit libressl minimal odbc pcre qt5 readline ssl test uuid X yaml

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-7.7.24
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp java +libedit libressl minimal odbc pcre qt5 readline ssl test uuid X yaml

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-7.6.4
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp hardened java +libedit libressl minimal odbc pcre readline ssl static-libs test uuid zlib X elibc_FreeBSD java

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-7.6.3
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp hardened java +libedit libressl minimal odbc pcre readline ssl static-libs test uuid zlib X elibc_FreeBSD java

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)
  • swi-prolog-7.4.2
    amd64 ppc x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-macos
    archive berkdb debug doc +gmp hardened java +libedit libressl minimal odbc readline ssl static-libs test uuid zlib X elibc_FreeBSD java

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo (distro)