gpo.zugaina.org

Search Portage & Overlays:

dev-lang/swi-prolog

Versatile implementation of the Prolog programming language

Screenshots

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

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

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

    View      Download      Browse     License: BSD-2   
    Overlay: gentoo

Runtime Dependencies

swi-prolog-10.0.1

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

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

archive?
      ( app-arch/libarchive:= )

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

cli?
      ( dev-libs/libedit )

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

gui?
      ( dev-libs/glib:2 media-libs/sdl3-image x11-libs/pango )

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-10.0.0-r1

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

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

archive?
      ( app-arch/libarchive:= )

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

cli?
      ( dev-libs/libedit )

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

gui?
      ( dev-libs/glib:2 media-libs/sdl3-image x11-libs/pango )

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.3.28

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

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

archive?
      ( app-arch/libarchive:= )

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

cli?
      ( dev-libs/libedit )

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

gui?
      ( dev-libs/glib:2 media-libs/sdl3-image x11-libs/pango )

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 )