Difference between revisions of "Swi-prolog"

From Free Software Directory
Jump to: navigation, search
(BSD-2-clause license text to the text area)
(License verified date)
 
(One intermediate revision by the same user not shown)
Line 44: Line 44:
 
           (C) 2006-2021 SWI-Prolog Solutions b.v.
 
           (C) 2006-2021 SWI-Prolog Solutions b.v.
 
|License verified by=Genium
 
|License verified by=Genium
−
|License verified date=2022-10-02
+
|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
 
|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

Latest revision as of 08:03, 3 October 2022


[edit]

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" 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


https://swi-prolog.com/

VCS Checkout

Categories

Related Projects





Licensing

License

Verified by

Verified on

Notes

License

BSD-3-Clause

Verified by

Genium

Verified on

2 October 2022

Notes

Files: packages/tipc/tipcutils/tipc-config.c

License

Other

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#L215

License

BSD-2-Clause

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

LGPL-2.1-or-later

Verified by

Genium

Verified on

2 October 2022

Notes

Files: src/Tests/core/test_bips.pl src/Tests/core/test_dcg.pl

License

Unicode

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#L173

License

GPL-1.0-or-later

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.h
packages/clib/sha1/sha2b.c

License

BSD-3-Clause

Verified by

Genium

Verified on

2 October 2022

Notes

Files: packages/clib/bsd-crypt.c

License

Expat

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.h
packages/xpce/src/msw/xpm.h

License

Zlib

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.h
src/minizip/*

License

LucentPLv1.02

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#L206

License

GPL-2.0-or-later

Verified by

Genium

Verified on

2 October 2022

Notes

Files: packages/xpce/src/x11/xdnd.h

License

PublicDomain

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-bt
src/libtai/*

License

GPL-2.0-or-later

Verified by

Genium

Verified on

2 October 2022

Notes

Files: packages/nlp/isub.c

License

LPPLv1.2

Verified by

Genium

Verified on

2 October 2022

Notes

Files: man/bk9.clo man/swipl.cls

License

GPL-3.0-or-later

Verified by

Genium

Verified on

2 October 2022

Notes

Files: debian/*

License

Spencer-86

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#L177

License

GPL-2.0

Verified by

Genium

Verified on

2 October 2022

Notes

Files: cmake/TestSignalType.cmake

License

Other

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 in
return. Poul-Henning Kamp

License

Other

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#L210

License

TCL

Verified by

Genium

Verified on

2 October 2022

Notes

Files: packages/xpce/src/rgx/regc_locale.c

License

BSD 1Clause

Verified by

Genium

Verified on

2 October 2022

Notes

Files: bench/chat_parser.pl

License

GPL-2.0-or-later

Verified by

Genium

Verified on

2 October 2022

Notes

Files: packages/clpqr/*




Leaders and contributors

Contact(s)Role
Jan Wielemaker Maintainer
Markus Triska Contributor
Tom Schrijvers Contributor


Resources and communication

AudienceResource typeURI
Bug TrackingE-mailbugs@swi-prolog.org
WikidataGeneralhttps://www.wikidata.org/wiki/Q2665141
DeveloperDownloadhttp://www.swi-prolog.org/download/stable/src
SupportHomepagehttps://swi-prolog.com/
GitHubVCS Repository Webviewhttps://github.com/SWI-Prolog/swipl-devel
DebianDeveloperhttps://tracker.debian.org/pkg/swi-prolog
Developer,Help,SupportE-mailmailto:prolog@science.uva.nl
Bug TrackingBug Trackinghttps://github.com/SWI-Prolog/issues/issues


Software prerequisites

KindDescription
Weak prerequisitegmp
Required to useX11
Required to uselibjpeg
Required to buildgcc
Weak prerequisitelibreadline
Required to buildgmake

This entry (in part or in whole) was last reviewed on 2 October 2022.




Entry





"BSD-2-Clause" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.




"GPL-2.0" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.










"LPPLv1.2" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.




"GPL-1.0-or-later" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.




"BSD-3-Clause" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.










"GPL-2.0-or-later" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.




"BSD-3-Clause" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.




"GPL-2.0-or-later" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.







"Unicode" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.




"Spencer-86" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.




"TCL" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.




"GPL-2.0-or-later" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.




"LGPL-2.1-or-later" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.




"LucentPLv1.02" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.










"GPL-3.0-or-later" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.

























"GitHub" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.










"Debian" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.


"Wikidata" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.







Property "Submitted by" (as page type) with input value "{{{Submitted by}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process. "{{{Submitted date}}}" contains an extrinsic dash or other characters that are invalid for a date interpretation.








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.

Retrieved from "https://directory.fsf.org/wiki?title=Swi-prolog&oldid=87776"