gpo.zugaina.org

Search Portage & Overlays:

dev-lang/swi-prolog

Versatile implementation of the Prolog programming language

Screenshots

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

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

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

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

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

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

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

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo