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)

Runtime Dependencies

swi-prolog-8.1.1

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

archive?
      ( app-arch/libarchive )

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

odbc?
      ( dev-db/unixODBC )

pcre?
      ( dev-libs/libpcre )

readline?
      ( sys-libs/readline:= )

libedit?
      ( dev-libs/libedit )

gmp?
      ( dev-libs/gmp:0 )

ssl?
      ( !libressl?
            ( dev-libs/openssl:0 )
       libressl?
            ( dev-libs/libressl )
       )

java?
      ( >=virtual/jdk-1.7:= )

uuid?
      ( dev-libs/ossp-uuid )

qt5?
      ( dev-qt/qtwidgets:5 dev-qt/qtgui:5 )

X?
      ( virtual/jpeg:0 x11-libs/libX11 x11-libs/libXft x11-libs/libXinerama x11-libs/libXpm x11-libs/libXt x11-libs/libICE x11-libs/libSM )

yaml?
      ( dev-libs/libyaml )

swi-prolog-8.1.0

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

archive?
      ( app-arch/libarchive )

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

odbc?
      ( dev-db/unixODBC )

pcre?
      ( dev-libs/libpcre )

readline?
      ( sys-libs/readline:= )

libedit?
      ( dev-libs/libedit )

gmp?
      ( dev-libs/gmp:0 )

ssl?
      ( !libressl?
            ( dev-libs/openssl:0 )
       libressl?
            ( dev-libs/libressl )
       )

java?
      ( >=virtual/jdk-1.7:= )

uuid?
      ( dev-libs/ossp-uuid )

qt5?
      ( dev-qt/qtwidgets:5 dev-qt/qtgui:5 )

X?
      ( virtual/jpeg:0 x11-libs/libX11 x11-libs/libXft x11-libs/libXinerama x11-libs/libXpm x11-libs/libXt x11-libs/libICE x11-libs/libSM )

yaml?
      ( dev-libs/libyaml )

swi-prolog-8.0.1

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

archive?
      ( app-arch/libarchive )

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

odbc?
      ( dev-db/unixODBC )

pcre?
      ( dev-libs/libpcre )

readline?
      ( sys-libs/readline:= )

libedit?
      ( dev-libs/libedit )

gmp?
      ( dev-libs/gmp:0 )

ssl?
      ( !libressl?
            ( dev-libs/openssl:0 )
       libressl?
            ( dev-libs/libressl )
       )

java?
      ( >=virtual/jdk-1.7:= )

uuid?
      ( dev-libs/ossp-uuid )

qt5?
      ( dev-qt/qtwidgets:5 dev-qt/qtgui:5 )

X?
      ( virtual/jpeg:0 x11-libs/libX11 x11-libs/libXft x11-libs/libXinerama x11-libs/libXpm x11-libs/libXt x11-libs/libICE x11-libs/libSM )

yaml?
      ( dev-libs/libyaml )

swi-prolog-8.0.0

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

archive?
      ( app-arch/libarchive )

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

odbc?
      ( dev-db/unixODBC )

pcre?
      ( dev-libs/libpcre )

readline?
      ( sys-libs/readline:= )

libedit?
      ( dev-libs/libedit )

gmp?
      ( dev-libs/gmp:0 )

ssl?
      ( !libressl?
            ( dev-libs/openssl:0 )
       libressl?
            ( dev-libs/libressl )
       )

java?
      ( >=virtual/jdk-1.7:= )

uuid?
      ( dev-libs/ossp-uuid )

qt5?
      ( dev-qt/qtwidgets:5 dev-qt/qtgui:5 )

X?
      ( virtual/jpeg:0 x11-libs/libX11 x11-libs/libXft x11-libs/libXinerama x11-libs/libXpm x11-libs/libXt x11-libs/libICE x11-libs/libSM )

yaml?
      ( dev-libs/libyaml )

swi-prolog-7.7.25

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

archive?
      ( app-arch/libarchive )

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

odbc?
      ( dev-db/unixODBC )

pcre?
      ( dev-libs/libpcre )

readline?
      ( sys-libs/readline:= )

libedit?
      ( dev-libs/libedit )

gmp?
      ( dev-libs/gmp:0 )

ssl?
      ( !libressl?
            ( dev-libs/openssl:0 )
       libressl?
            ( dev-libs/libressl )
       )

java?
      ( >=virtual/jdk-1.7:= )

uuid?
      ( dev-libs/ossp-uuid )

qt5?
      ( dev-qt/qtwidgets:5 dev-qt/qtgui:5 )

X?
      ( virtual/jpeg:0 x11-libs/libX11 x11-libs/libXft x11-libs/libXpm x11-libs/libXt x11-libs/libICE x11-libs/libSM )

yaml?
      ( dev-libs/libyaml )

swi-prolog-7.7.24

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

archive?
      ( app-arch/libarchive )

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

odbc?
      ( dev-db/unixODBC )

pcre?
      ( dev-libs/libpcre )

readline?
      ( sys-libs/readline:= )

libedit?
      ( dev-libs/libedit )

gmp?
      ( dev-libs/gmp:0 )

ssl?
      ( !libressl?
            ( dev-libs/openssl:0 )
       libressl?
            ( dev-libs/libressl )
       )

java?
      ( >=virtual/jdk-1.7:= )

uuid?
      ( dev-libs/ossp-uuid )

qt5?
      ( dev-qt/qtwidgets:5 dev-qt/qtgui:5 )

X?
      ( virtual/jpeg:0 x11-libs/libX11 x11-libs/libXft x11-libs/libXpm x11-libs/libXt x11-libs/libICE x11-libs/libSM )

yaml?
      ( dev-libs/libyaml )

swi-prolog-7.6.4

sys-libs/ncurses:=

archive?
      ( app-arch/libarchive )

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

zlib?
      ( sys-libs/zlib )

odbc?
      ( dev-db/unixODBC )

pcre?
      ( dev-libs/libpcre )

readline?
      ( sys-libs/readline:= )

libedit?
      ( dev-libs/libedit )

gmp?
      ( dev-libs/gmp:0 )

ssl?
      ( !libressl?
            ( dev-libs/openssl:0 )
       libressl?
            ( dev-libs/libressl )
       )

java?
      ( >=virtual/jdk-1.7:= )

uuid?
      ( dev-libs/ossp-uuid )

X?
      ( virtual/jpeg:0 x11-libs/libX11 x11-libs/libXft x11-libs/libXpm x11-libs/libXt x11-libs/libICE x11-libs/libSM )

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

swi-prolog-7.6.3

sys-libs/ncurses:=

archive?
      ( app-arch/libarchive )

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

zlib?
      ( sys-libs/zlib )

odbc?
      ( dev-db/unixODBC )

pcre?
      ( dev-libs/libpcre )

readline?
      ( sys-libs/readline:= )

libedit?
      ( dev-libs/libedit )

gmp?
      ( dev-libs/gmp:0 )

ssl?
      ( !libressl?
            ( dev-libs/openssl:0 )
       libressl?
            ( dev-libs/libressl )
       )

java?
      ( >=virtual/jdk-1.7:= )

uuid?
      ( dev-libs/ossp-uuid )

X?
      ( virtual/jpeg:0 x11-libs/libX11 x11-libs/libXft x11-libs/libXpm x11-libs/libXt x11-libs/libICE x11-libs/libSM )

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

swi-prolog-7.4.2

sys-libs/ncurses:=

archive?
      ( app-arch/libarchive )

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

zlib?
      ( sys-libs/zlib )

odbc?
      ( dev-db/unixODBC )

readline?
      ( sys-libs/readline:= )

libedit?
      ( dev-libs/libedit )

gmp?
      ( dev-libs/gmp:0 )

ssl?
      ( !libressl?
            ( dev-libs/openssl:0 )
       libressl?
            ( dev-libs/libressl )
       )

java?
      ( >=virtual/jdk-1.5:= )

uuid?
      ( dev-libs/ossp-uuid )

X?
      ( virtual/jpeg:0 x11-libs/libX11 x11-libs/libXft x11-libs/libXpm x11-libs/libXt x11-libs/libICE x11-libs/libSM )

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