Difference between revisions of "Swi-prolog"
(link to SWI-Prolog Solutions b.v. [paid support]) |
(wording) |
||
Line 390: | Line 390: | ||
}} | }} | ||
{{Resource | {{Resource | ||
− | |Resource audience= | + | |Resource audience=Support |
− | |Resource kind= | + | |Resource kind=Homepage |
|Resource URL=https://swi-prolog.com/ | |Resource URL=https://swi-prolog.com/ | ||
}} | }} |
Revision as of 20:06, 2 October 2022
SWI-Prolog
https://www.swi-prolog.org/
implementation of the Prolog language
ISO/Edinburgh-style Prolog compiler including modules, autoload, libraries, Garbage-collector, stack-expandor, C/C++-interface, Multiple threads, GNU-readline interface, very fast compiler. Including packages clib (Unix process control, sockets, MIME), cpp (C++ interface), sgml (reading XML/SGML), sgml/RDF (reading RDF into triples), ODBC interface and XPCE(Graphics UI toolkit, integrated editor (Emacs-clone) and graphicaldebugger).
- IRC general channel
- irc://irc.libera.chat/prolog
Download
https://www.swi-prolog.org/download/stable/src/swipl-8.4.3.tar.gz
version 8.4.3
(stable)
released on 22 June 2022
User level
Advanced
Paid support
https://swi-prolog.com/VCS Checkout
Categories
Related Projects
Licensing
License
Verified by
Verified on
Notes
License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: packages/tipc/tipcutils/tipc-config.c
License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: man/name.bst
packages/xpce/TeX/name.bst
License: BIBTEX-STYLE
https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright#L215License
Verified by
Genium
Verified on
3 October 2022
Notes
SWI-Prolog is covered by the BSD 2-Clause license. See https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright
- Files: *
License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: src/Tests/core/test_bips.pl src/Tests/core/test_dcg.pl
License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: packages/utf8proc/utf8proc_data.c
License: Unicode-DFS-2007
https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright#L173License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: packages/clib/sha1/brg_endian.h
packages/clib/sha1/brg_types.h packages/clib/sha1/hmac.c packages/clib/sha1/hmac.h packages/clib/sha1/pwd2key.c packages/clib/sha1/pwd2key.h packages/clib/sha1/sha1.c packages/clib/sha1/sha1.h packages/clib/sha1/sha1b.c packages/clib/sha1/sha2.c packages/clib/sha1/sha2.hpackages/clib/sha1/sha2b.c
License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: packages/clib/bsd-crypt.c
License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: packages/pcre/cmake/FindPCRE.cmake
packages/utf8proc/pgsql/utf8proc_pgsql.c packages/utf8proc/ruby/* packages/utf8proc/data_generator.rb packages/utf8proc/utf8proc.c packages/utf8proc/utf8proc.h packages/xpce/src/msw/simx.hpackages/xpce/src/msw/xpm.h
License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: packages/clib/md5.c
packages/clib/md5.h packages/semweb/md5.c packages/semweb/md5.hsrc/minizip/*
License
Verified by
Genium
Verified on
2 October 2022
Notes
Copyright: (C) Ulrich Neumerkel
License: LUCENT
https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright#L206License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: packages/xpce/src/x11/xdnd.h
License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: bench/derive.pl
bench/divide10.pl bench/log10.pl bench/nreverse.pl bench/ops8.pl bench/qsort.pl bench/query.pl bench/serialise.pl bench/sieve.pl bench/times10.pl library/dialect/eclipse/test_util_iso.pl library/dialect/bim.pl packages/clib/demo/* packages/cpp/likes.cpp packages/cpp/test.cpp packages/cpp/test.pl packages/http/examples/calc.pl packages/http/examples/demo_daemon.pl packages/pldoc/pldoc.css packages/pldoc/pldoc.js packages/semweb/murmur.c packages/semweb/murmur.h packages/ssl/https.pl packages/xpce/src/gnu/getdate-source.y packages/xpce/src/gnu/getdate.c packages/xpce/src/gnu/y.tab scripts/swipl-btsrc/libtai/*
License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: packages/xpce/src/rgx/regc_color.c
packages/xpce/src/rgx/regc_cvec.c packages/xpce/src/rgx/regc_lex.c packages/xpce/src/rgx/regc_nfa.c packages/xpce/src/rgx/regcomp.c packages/xpce/src/rgx/regcustom.h packages/xpce/src/rgx/rege_dfa.c packages/xpce/src/rgx/regerror.c packages/xpce/src/rgx/regex.h packages/xpce/src/rgx/regexec.c packages/xpce/src/rgx/regfree.c packages/xpce/src/rgx/regfronts.c packages/xpce/src/rgx/regguts.h
License: SPENCER
https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright#L177License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: packages/clib/md5passwd.c
License: Beerware
https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright#L141
"THE BEER-WARE LICENSE" (Revision 42): . <phk@login.dknet.dk> wrote this file. As long as you retain this notice you can do whatever you want with this stuff. If we meet some day, and you think this stuff is worth it, you can buy me a beer inreturn. Poul-Henning Kamp
License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: packages/sgml/DTD/*.ent
License: ISO
https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright#L210License
Verified by
Genium
Verified on
2 October 2022
Notes
Files: packages/xpce/src/rgx/regc_locale.c
Leaders and contributors
Contact(s) | Role |
---|---|
Jan Wielemaker | Maintainer |
Markus Triska | Contributor |
Tom Schrijvers | Contributor |
Resources and communication
Audience | Resource type | URI |
---|---|---|
Bug Tracking | bugs@swi-prolog.org | |
Wikidata | General | https://www.wikidata.org/wiki/Q2665141 |
Developer | Download | http://www.swi-prolog.org/download/stable/src |
Support | Homepage | https://swi-prolog.com/ |
GitHub | VCS Repository Webview | https://github.com/SWI-Prolog/swipl-devel |
Debian | Developer | https://tracker.debian.org/pkg/swi-prolog |
Developer,Help,Support | mailto:prolog@science.uva.nl | |
Bug Tracking | Bug Tracking | https://github.com/SWI-Prolog/issues/issues |
Software prerequisites
Kind | Description |
---|---|
Weak prerequisite | gmp |
Required to use | X11 |
Required to use | libjpeg |
Required to build | gcc |
Weak prerequisite | libreadline |
Required to build | gmake |
This entry (in part or in whole) was last reviewed on 2 October 2022.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.
The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.