gpo.zugaina.org

Search Portage & Overlays:

dev-lang/swi-prolog

Versatile implementation of the Prolog programming language

Screenshots

  • swi-prolog-9.3.9
    ~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos
    X archive berkdb +cli debug doc +gmp gui +ipc java minimal odbc pcre pgo qt6 ssl test yaml java

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo
  • swi-prolog-9.1.2-r1
    amd64 ~ppc x86 ~amd64-linux ~x86-linux ~ppc-macos
    X archive berkdb +cli debug doc +gmp gui +ipc java minimal odbc pcre pgo qt6 ssl test yaml java

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo

Runtime Dependencies

swi-prolog-9.3.9

sys-libs/ncurses:=
sys-libs/zlib:=
virtual/libcrypt:=

X?
      ( media-libs/freetype:2 media-libs/fontconfig:1.0 media-libs/libjpeg-turbo:= x11-libs/libICE x11-libs/libSM x11-libs/libX11 x11-libs/libXft x11-libs/libXinerama x11-libs/libXpm x11-libs/libXt )

archive?
      ( app-arch/libarchive:= )

berkdb?
      ( >=sys-libs/db-4:= )

cli?
      ( dev-libs/libedit sys-libs/readline:= )

gmp?
      ( dev-libs/gmp:0= )

gui?
      ( !qt6?
            ( dev-qt/qtgui:5 dev-qt/qtwidgets:5 )
       qt6?
            ( dev-qt/qtbase:6[gui,widgets] )
       )

!minimal?
      ( dev-libs/ossp-uuid )

odbc?
      ( dev-db/unixODBC )

pcre?
      ( dev-libs/libpcre )

ssl?
      ( dev-libs/openssl:0= )

yaml?
      ( dev-libs/libyaml )

java?
      ( >=virtual/jre-1.8:* )

java?
      ( >=dev-java/java-config-2.2.0-r3 )

swi-prolog-9.1.2-r1

sys-libs/ncurses:=
sys-libs/zlib:=
virtual/libcrypt:=

X?
      ( media-libs/freetype:2 media-libs/fontconfig:1.0 media-libs/libjpeg-turbo:= x11-libs/libICE x11-libs/libSM x11-libs/libX11 x11-libs/libXft x11-libs/libXinerama x11-libs/libXpm x11-libs/libXt )

archive?
      ( app-arch/libarchive:= )

berkdb?
      ( >=sys-libs/db-4:= )

cli?
      ( dev-libs/libedit sys-libs/readline:= )

gmp?
      ( dev-libs/gmp:0= )

gui?
      ( !qt6?
            ( dev-qt/qtgui:5 dev-qt/qtwidgets:5 )
       qt6?
            ( dev-qt/qtbase:6[gui,widgets] )
       )

!minimal?
      ( dev-libs/ossp-uuid )

odbc?
      ( dev-db/unixODBC )

pcre?
      ( dev-libs/libpcre )

ssl?
      ( dev-libs/openssl:0= )

yaml?
      ( dev-libs/libyaml )

java?
      ( >=virtual/jre-1.8:* )

java?
      ( >=dev-java/java-config-2.2.0-r3 )