Difference between revisions of "Swi-prolog"
(update) |
(License verified date) |
||
(9 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{{Entry | {{Entry | ||
− | |Name= | + | |Name=SWI-Prolog |
− | |Short description= | + | |Short description=implementation of the Prolog language |
|Full description=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). | |Full description=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). | ||
− | |Homepage URL= | + | |Homepage URL=https://www.swi-prolog.org/ |
− | | | + | |Version download=https://www.swi-prolog.org/download/stable/src/swipl-8.4.3.tar.gz |
− | | | + | }} |
− | | | + | {{Project license |
− | | | + | |License=BSD-2-Clause |
− | | | + | |License copyright=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 |
− | |License verified date= | + | (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. | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-03 | ||
+ | |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: * | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=GPL-2.0 | ||
+ | |License copyright=Copyright: (C) 2006 Andrew Ross | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: cmake/TestSignalType.cmake | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=BSD 1Clause | ||
+ | |License copyright=Copyright: (C) 1986-2020 David H. D. Warren and Fernando C. N. Pereira | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: bench/chat_parser.pl | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=PublicDomain | ||
+ | |License copyright=Copyright: n/a | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=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-bt | ||
+ | src/libtai/* | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=LPPLv1.2 | ||
+ | |License copyright=Copyright: 1993-2001 LaTeX3 Project | ||
+ | James Kilfiger | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: man/bk9.clo | ||
+ | man/swipl.cls | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=GPL-1.0-or-later | ||
+ | |License copyright=Copyright: (C) 1998-2006 Brian Gladman | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=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.h | ||
+ | packages/clib/sha1/sha2b.c | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=BSD-3-Clause | ||
+ | |License copyright=Copyright: (C) 1989, 1993 The Regents of the University of California | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: packages/clib/bsd-crypt.c | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=Zlib | ||
+ | |License copyright=Copyright: (C) 1999, 2000, 2002 Aladdin Enterprises | ||
+ | (C) 1998-2005 Gilles Vollant | ||
+ | (C) 2009-2010 Mathias Svensson | ||
+ | (C) 2007-2008 Even Rouault | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: packages/clib/md5.c | ||
+ | packages/clib/md5.h | ||
+ | packages/semweb/md5.c | ||
+ | packages/semweb/md5.h | ||
+ | src/minizip/* | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=Other | ||
+ | |License copyright=Copyright: (C) Poul-Hennig Kamp | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=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 in | ||
+ | return. Poul-Henning Kamp | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=GPL-2.0-or-later | ||
+ | |License copyright=Copyright: (C) 2004-2006 K.U. Leuven | ||
+ | (C) 1992-1995 Austrian Research Institute for Artificial Intelligence (OFAI) | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: packages/clpqr/* | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=BSD-3-Clause | ||
+ | |License copyright=Copyright: (C) 2004-2006 Ericsson AB | ||
+ | (C) 2005-2006 Wind River Systems | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: packages/tipc/tipcutils/tipc-config.c | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=GPL-2.0-or-later | ||
+ | |License copyright=Copyright: 2004-2011 National and Technical University of Athens | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: packages/nlp/isub.c | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=Expat | ||
+ | |License copyright=Copyright: (C) 2007-2009 LuaDist | ||
+ | (C) 1994 X Consortium | ||
+ | (C) 2009-2013 Public Software Group e. V., Berlin, Germany | ||
+ | (C) 1989-1994 GROUPE BULL | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=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.h | ||
+ | packages/xpce/src/msw/xpm.h | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=Unicode | ||
+ | |License copyright=Copyright: (C) 1991-2007 Unicode, Inc. | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: packages/utf8proc/utf8proc_data.c | ||
+ | |||
+ | License: Unicode-DFS-2007 | ||
+ | |||
+ | https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright#L173 | ||
+ | }} | ||
+ | {{Project license | ||
+ | |License=Spencer-86 | ||
+ | |License copyright=Copyright: (C) 1998, 1999 Henry Spencer | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=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#L177 | ||
}} | }} | ||
{{Project license | {{Project license | ||
− | |License= | + | |License=TCL |
− | |License verified by= | + | |License copyright=Copyright: (C) 1998 Scriptics Corporation |
− | |License verified date= | + | |License verified by=Genium |
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: packages/xpce/src/rgx/regc_locale.c | ||
}} | }} | ||
− | {{ | + | {{Project license |
− | | | + | |License=GPL-2.0-or-later |
− | | | + | |License copyright=Copyright: (C) 1998 Paul Sheer |
− | | | + | |License verified by=Genium |
− | | | + | |License verified date=2022-10-02 |
+ | |License note=Files: packages/xpce/src/x11/xdnd.h | ||
}} | }} | ||
− | {{ | + | {{Project license |
− | | | + | |License=LGPL-2.1-or-later |
− | | | + | |License copyright=Copyright: (C) Ulrich Neumerkel |
− | | | + | |License verified by=Genium |
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: src/Tests/core/test_bips.pl | ||
+ | src/Tests/core/test_dcg.pl | ||
}} | }} | ||
− | {{ | + | {{Project license |
− | | | + | |License=LucentPLv1.02 |
− | | | + | |License copyright=Copyright: (C) 1991, 2000, 2001 Lucent Technologies |
− | | | + | |License verified by=Genium |
+ | |License verified date=2022-10-02 | ||
+ | |License note=Copyright: (C) Ulrich Neumerkel | ||
+ | |||
+ | License: LUCENT | ||
+ | |||
+ | https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright#L206 | ||
}} | }} | ||
− | {{ | + | {{Project license |
− | | | + | |License=Other |
− | | | + | |License copyright=Copyright: (C) 1986 International Organization for Standardization |
− | | | + | Comment: These are standard entities |
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: packages/sgml/DTD/*.ent | ||
+ | |||
+ | License: ISO | ||
+ | |||
+ | https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright#L210 | ||
}} | }} | ||
− | {{ | + | {{Project license |
− | | | + | |License=Other |
− | | | + | |License copyright=Copyright: (C) 1985 |
− | | | + | (C) Jan Wielemaker |
+ | (C) Guus Schreiber | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: man/name.bst | ||
+ | packages/xpce/TeX/name.bst | ||
+ | |||
+ | License: BIBTEX-STYLE | ||
+ | |||
+ | https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright#L215 | ||
}} | }} | ||
− | {{ | + | {{Project license |
− | | | + | |License=GPL-3.0-or-later |
− | | | + | |License copyright=Copyright: (C) 1996-2001 Milan Zamazal <pdm@fi.muni.cz> |
− | + | (C) 2001 Sebastian Schaffert <wastl@wastl.net> | |
+ | (C) 2001-2004 Michael Piefel <piefel@debian.org> | ||
+ | (C) 2006 Gerardo Curiel <gcuriel@debianvenezuela.org> | ||
+ | (C) 2007-2011 Chris Lamb <lamby@debian.org> | ||
+ | (C) 2011-2015 Eugeniy Meshcheryakov <eugen@debian.org> | ||
+ | (C) 2016-2022 Lev Lamberov <dogsleg@debian.org> | ||
+ | |License verified by=Genium | ||
+ | |License verified date=2022-10-02 | ||
+ | |License note=Files: debian/* | ||
}} | }} | ||
{{Software category | {{Software category | ||
|Interface=command-line, web, x-window-system | |Interface=command-line, web, x-window-system | ||
+ | |Programming-language=C | ||
+ | |Runs-on=BSD, OS X, Android, GNU/Linux | ||
|Software-development=programming-language | |Software-development=programming-language | ||
|Use=software-development | |Use=software-development | ||
+ | }} | ||
+ | {{EntryGNU | ||
+ | |Is GNU=No | ||
}} | }} | ||
{{Software prerequisite | {{Software prerequisite | ||
Line 86: | Line 342: | ||
|Prerequisite kind=Weak prerequisite | |Prerequisite kind=Weak prerequisite | ||
|Prerequisite description=libreadline | |Prerequisite description=libreadline | ||
+ | }} | ||
+ | {{Person | ||
+ | |Real name=Jan Wielemaker | ||
+ | |Role=Maintainer | ||
+ | |Email=wielemak@science.uva.nl | ||
+ | }} | ||
+ | {{Person | ||
+ | |Real name=Markus Triska | ||
+ | |Role=Contributor | ||
+ | }} | ||
+ | {{Person | ||
+ | |Real name=Tom Schrijvers | ||
+ | |Role=Contributor | ||
+ | }} | ||
+ | {{Resource | ||
+ | |Resource audience=GitHub | ||
+ | |Resource kind=VCS Repository Webview | ||
+ | |Resource URL=https://github.com/SWI-Prolog/swipl-devel | ||
+ | }} | ||
+ | {{Resource | ||
+ | |Resource audience=Bug Tracking | ||
+ | |Resource kind=Bug Tracking | ||
+ | |Resource URL=https://github.com/SWI-Prolog/issues/issues | ||
+ | }} | ||
+ | {{Resource | ||
+ | |Resource audience=Developer | ||
+ | |Resource kind=Download | ||
+ | |Resource URL=http://www.swi-prolog.org/download/stable/src | ||
+ | }} | ||
+ | {{Resource | ||
+ | |Resource audience=Bug Tracking | ||
+ | |Resource kind=E-mail | ||
+ | |Resource URL=bugs@swi-prolog.org | ||
+ | }} | ||
+ | {{Resource | ||
+ | |Resource audience=Developer,Help,Support | ||
+ | |Resource kind=E-mail | ||
+ | |Resource URL=mailto:prolog@science.uva.nl | ||
+ | }} | ||
+ | {{Resource | ||
+ | |Resource audience=Debian | ||
+ | |Resource kind=Developer | ||
+ | |Resource URL=https://tracker.debian.org/pkg/swi-prolog | ||
+ | }} | ||
+ | {{Resource | ||
+ | |Resource audience=Wikidata | ||
+ | |Resource kind=General | ||
+ | |Resource URL=https://www.wikidata.org/wiki/Q2665141 | ||
+ | }} | ||
+ | {{Resource | ||
+ | |Resource audience=Support | ||
+ | |Resource kind=Homepage | ||
+ | |Resource URL=https://swi-prolog.com/ | ||
+ | }} | ||
+ | {{EntryDetails | ||
+ | |Is High Priority Project=No | ||
+ | |VCS checkout command=git clone https://github.com/SWI-Prolog/swipl-devel.git | ||
+ | |Computer languages=C, Prolog | ||
+ | |Decommissioned or Obsolete=No | ||
+ | |IRC general=irc://irc.libera.chat/prolog | ||
+ | |Related projects=Sweeprolog | ||
+ | |Version identifier=8.4.3 | ||
+ | |Version date=2022-06-22 | ||
+ | |Version status=stable | ||
+ | |Last review by=Genium | ||
+ | |Last review date=2022-10-02 | ||
+ | |User level=advanced | ||
+ | |Paid support=https://swi-prolog.com/ | ||
+ | |Accepts cryptocurrency donations=No | ||
+ | |Test entry=No | ||
}} | }} | ||
{{Featured}} | {{Featured}} |
Latest revision as of 08:03, 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.