Difference between revisions of "Swi-prolog"
(License note) |
(BSD-2-clause license text to the text area) |
||
Line 45: | Line 45: | ||
|License verified by=Genium | |License verified by=Genium | ||
|License verified date=2022-10-02 | |License verified date=2022-10-02 | ||
− | |License note=SWI-Prolog is covered by the BSD 2-Clause license. See https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright | + | |License note='''SWI-Prolog is covered by the BSD 2-Clause license'''. See https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright |
* Files: * | * Files: * | ||
+ | |||
+ | Copyright: (C) 1985-2020 University of Amsterdam | ||
+ | (C) 1985-2021 Vu University Amsterdam | ||
+ | (C) 2018-2021 CWI, Amsterdam | ||
+ | (C) 2016-2018 Benoit Desouter | ||
+ | (C) 2016-2018 Jan Wielemaker | ||
+ | (C) 2016-2018 Fabrizio Riguzzi | ||
+ | (C) 2004-2017 K.U. Leuven | ||
+ | (C) 2005-2018 Markus Triska | ||
+ | (C) 2007-2012 Paulo Moura | ||
+ | (C) 2006-2015 Lars Buitinck | ||
+ | (C) 2011-2015 Markus Uneson | ||
+ | (C) 1993-2011 Jon Jagger | ||
+ | (C) 2013-2014 Michael Hendricks | ||
+ | (C) 2004-2012 CS Dept. III, University of Bonn | ||
+ | (C) 2011-2016 Universidade do Porto | ||
+ | (C) 2007-2017 Vitor Santos Costa | ||
+ | (C) 2015 Paulo Moura, Kyndi Inc. | ||
+ | (C) 2012-2013 Jeffrey Rosenwald | ||
+ | (C) 2014-2015 Mike Elston | ||
+ | (C) 2014-2015 Matt Lilley | ||
+ | (C) 1989 Michael Mauldin | ||
+ | (C) 2003-2018 Paul Singleton | ||
+ | (C) 2003-2018 Fred Dushin | ||
+ | (C) 2003-2018 JPL contributors | ||
+ | (C) 2009-2018 Jerrfey Rosenwald | ||
+ | (C) 2014-2016 Torbjörn Lager | ||
+ | (C) 2004-2017 SWI-Prolog Foundation | ||
+ | (C) 2013-2015 Carlo Capelli | ||
+ | (C) 2012 Kitware Inc. | ||
+ | (C) 1993-1995 Christian Schlichtherle | ||
+ | (C) Leonid Mokrushin | ||
+ | (C) 2015 Keri Harris | ||
+ | (C) 2009-2017 Scientific Software and Systems Limited | ||
+ | (C) 2011-2016 Kuniaki Mukai | ||
+ | (C) 2006-2021 SWI-Prolog Solutions b.v. | ||
+ | |||
+ | Redistribution and use in source and binary forms, with or without | ||
+ | modification, are permitted provided that the following conditions are met: | ||
+ | |||
+ | 1. Redistributions of source code must retain the above copyright notice, this | ||
+ | list of conditions and the following disclaimer. | ||
+ | 2. Redistributions in binary form must reproduce the above copyright notice, | ||
+ | this list of conditions and the following disclaimer in the documentation | ||
+ | and/or other materials provided with the distribution. | ||
+ | |||
+ | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND | ||
+ | ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED | ||
+ | WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE | ||
+ | DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR | ||
+ | ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES | ||
+ | (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; | ||
+ | LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND | ||
+ | ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | ||
+ | (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS | ||
+ | SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
}} | }} | ||
{{Project license | {{Project license |
Revision as of 07:58, 3 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.