Properties
Alternativeto software id
swi-prolog
Arch linux package
swi-prolog
Aur package
swi-prolog-devel, swi-prolog-git
Chocolatey community package id
SWI-Prolog
Copyright holder
SWI-Prolog Solutions b.v.
Copyright holder
SWI-Prolog Solutions b.v.
Copyright license
2-clause BSD License, GNU General Public License, version 2.0, 1-clause BSD License, public domain, LaTeX Project Public License, GNU General Public License, version 1.0 or later, 3-clause BSD License, zlib License, Beerware, GNU General Public License, version 2.0 or later, Expat license, Unicode, Inc. License Agreement, Spencer License 86, GNU Lesser General Public License, version 2.1 or later, GNU General Public License, version 2.0 or later
Copyright status
copyrighted
Debian source package
swi-prolog
Debian stable package
swi-prolog, swi-prolog-bdb, swi-prolog-core, swi-prolog-core-packages, swi-prolog-doc, swi-prolog-full, swi-prolog-java, swi-prolog-nox, swi-prolog-odbc, swi-prolog-test, swi-prolog-x
Duckduckgo bang
swi, swipl
Foldoc id
SWI-Prolog
Free software directory entry
Swi-prolog
Freebase id
/m/05qxzm
Gentoo package
dev-lang/swi-prolog
Guix variable name
wi-prolog
Homebrew formula name
swi-prolog
Introduced feature
text editing
Introduced feature
text editing
Irc channel url
irc://irc.libera.chat/prolog
Irc channel url
irc://irc.libera.chat/prolog
Maintained by
Jan Wielemaker
Netbsd package id
lang/swi-prolog-lite, lang/swi-prolog-packages, lang/swi-prolog, lang/swi-prolog-jpl
Open hub id
swi-prolog
Openbsd port
lang/swi-prolog
Opensuse package
swipl
Osdn project
freshmeat_swi-prolog
Part of
list of Emacs implementations
Portableapps id
development/swi-prolog_portable
Pro linux.de dbapp id
19790
Repology project name
swi-prolog
Semantic scholar topic id
191495
Software version identifier
7.2.3, 8.4.1, 9.0.4, 9.2.2, 8.3.12, 8.3.13, 8.3.14, 8.3.15, 8.3.16, 8.3.17, 8.3.18, 8.3.19, 8.3.20, 8.3.21, 8.3.22, 8.3.23, 8.3.24, 8.3.25, 8.3.26, 8.3.27, 8.3.28, 8.3.29, 8.4.0, 8.4.2, 8.4.3, 8.5.0, 8.5.1, 8.5.2, 8.5.3, 8.5.4, 8.5.5, 8.5.6, 8.5.7, 8.5.8, 8.5.9, 8.5.10, 8.5.11, 8.5.12, 8.5.13, 8.5.14, 8.5.15, 8.5.16, 8.5.17, 8.5.18, 8.5.19, 8.5.20, 9.0.0, 9.0.1, 9.0.2, 9.0.3, 9.1.0, 9.1.1, 9.1.2, 9.1.3, 9.1.4, 9.1.5, 9.1.6, 9.1.7, 9.1.8, 9.1.9, 9.1.10, 9.1.11, 9.1.12, 9.1.13, 9.1.14, 9.1.15, 9.1.16, 9.1.17, 9.1.18, 9.1.19, 9.1.20, 9.1.21, 9.1.22, 9.2.0, 9.3.0, 9.3.1, 9.3.2, 9.3.3, 9.3.4, 9.3.5, 9.3.6, 9.3.7, 9.3.8, 9.3.9, 9.3.10, 9.3.11, 9.3.12, 9.3.13, 9.3.14, 9.3.15, 9.3.16, 9.3.17, 9.3.18, 9.3.19, 9.3.20, 9.3.21, 9.3.22, 9.3.23, 9.3.24, 296, 497, 2911, 9.3.25, 9.3.26, 9.3.27, 9.3.28, 9.3.29, 9.3.30, 9.3.31, 9.3.32, 9.3.33, 10.0.0
Swmath work id
20950
Ubuntu package
swi-prolog, swi-prolog-bdb, swi-prolog-core, swi-prolog-core-packages, swi-prolog-doc, swi-prolog-full, swi-prolog-java, swi-prolog-nox, swi-prolog-odbc, swi-prolog-test, swi-prolog-x
Use
logic programming
Version
7.2.3, 8.4.1, 9.0.4, 9.2.2, 8.3.12, 8.3.13, 8.3.14, 8.3.15, 8.3.16, 8.3.17, 8.3.18, 8.3.19, 8.3.20, 8.3.21, 8.3.22, 8.3.23, 8.3.24, 8.3.25, 8.3.26, 8.3.27, 8.3.28, 8.3.29, 8.4.0, 8.4.2, 8.4.3, 8.5.0, 8.5.1, 8.5.2, 8.5.3, 8.5.4, 8.5.5, 8.5.6, 8.5.7, 8.5.8, 8.5.9, 8.5.10, 8.5.11, 8.5.12, 8.5.13, 8.5.14, 8.5.15, 8.5.16, 8.5.17, 8.5.18, 8.5.19, 8.5.20, 9.0.0, 9.0.1, 9.0.2, 9.0.3, 9.1.0, 9.1.1, 9.1.2, 9.1.3, 9.1.4, 9.1.5, 9.1.6, 9.1.7, 9.1.8, 9.1.9, 9.1.10, 9.1.11, 9.1.12, 9.1.13, 9.1.14, 9.1.15, 9.1.16, 9.1.17, 9.1.18, 9.1.19, 9.1.20, 9.1.21, 9.1.22, 9.2.0, 9.3.0, 9.3.1, 9.3.2, 9.3.3, 9.3.4, 9.3.5, 9.3.6, 9.3.7, 9.3.8, 9.3.9, 9.3.10, 9.3.11, 9.3.12, 9.3.13, 9.3.14, 9.3.15, 9.3.16, 9.3.17, 9.3.18, 9.3.19, 9.3.20, 9.3.21, 9.3.22, 9.3.23, 9.3.24, 296, 497, 2911, 9.3.25, 9.3.26, 9.3.27, 9.3.28, 9.3.29, 9.3.30, 9.3.31, 9.3.32, 9.3.33, 10.0.0
Wine appdb id
3224
duckduckgo bang
swi, swipl
macports port
swi-prolog-devel, swi-prolog
External References (25)
Alternativeto software id
swi-prolog
Arch linux package
swi-prolog
Aur package
swi-prolog-devel, swi-prolog-git
Chocolatey community package id
SWI-Prolog
Debian source package
swi-prolog
Debian stable package
swi-prolog, swi-prolog-bdb, swi-prolog-core, swi-prolog-core-packages, swi-prolog-doc, swi-prolog-full, swi-prolog-java, swi-prolog-nox, swi-prolog-odbc, swi-prolog-test, swi-prolog-x
Foldoc id
SWI-Prolog
Free software directory entry
Swi-prolog
Freebase id
/m/05qxzm
Gentoo package
dev-lang/swi-prolog
Guix variable name
wi-prolog
Homebrew formula name
swi-prolog
Macports port
swi-prolog-devel, swi-prolog
Netbsd package id
lang/swi-prolog-lite, lang/swi-prolog-packages, lang/swi-prolog, lang/swi-prolog-jpl
Open hub id
swi-prolog
Openbsd port
lang/swi-prolog
Opensuse package
swipl
Osdn project
freshmeat_swi-prolog
Portableapps id
development/swi-prolog_portable
Pro-linux.de dbapp id
19790
Repology project name
swi-prolog
Semantic scholar topic id
191495
Swmath work id
20950
Ubuntu package
swi-prolog, swi-prolog-bdb, swi-prolog-core, swi-prolog-core-packages, swi-prolog-doc, swi-prolog-full, swi-prolog-java, swi-prolog-nox, swi-prolog-odbc, swi-prolog-test, swi-prolog-x
Wine appdb id
3224