Difference between revisions of "Swi-prolog"

From Free Software Directory
Jump to: navigation, search
(Added Debian link)
(swipl-8.4.3)
Line 1: Line 1:
 
{{Entry
 
{{Entry
−
|Name=swi-prolog
+
|Name=SWI-Prolog
−
|Short description=Comprehensive Prolog compiler and environment
+
|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=http://www.swi-prolog.org
+
|Homepage URL=https://www.swi-prolog.org/
−
|User level=none
+
|Version download=https://www.swi-prolog.org/download/stable/src/swipl-8.4.3.tar.gz
−
|VCS checkout command=git clone https://github.com/SWI-Prolog/swipl.git
+
}}
−
|Computer languages=C,Prolog
+
{{Project license
−
|Documentation note=Online, HTML and PDF
+
|License=BSD-2-Clause
−
|Paid support=Commercial support through www.cognitivetools.com
+
|License copyright=Copyright: (C) 1985-2020 University of Amsterdam
−
|Accepts cryptocurrency donations=No
+
          (C) 1985-2021 Vu University Amsterdam
−
|Related projects=Gprolog
+
          (C) 2018-2021 CWI, Amsterdam
−
|Keywords=GUI,prologm,logic programming,web applications,RDF
+
          (C) 2016-2018 Benoit Desouter
−
|Version identifier=6.6.6
+
          (C) 2016-2018 Jan Wielemaker
−
|Version date=2014/05/28
+
          (C) 2016-2018 Fabrizio Riguzzi
−
|Version status=stable
+
          (C) 2004-2017 K.U. Leuven
−
|Version download=http://www.swi-prolog.org/download/stable/src/pl-6.6.6.tar.gz
+
          (C) 2005-2018 Markus Triska
−
|Last review by=Bendikker
+
          (C) 2007-2012 Paulo Moura
−
|Last review date=2018/02/27
+
          (C) 2006-2015 Lars Buitinck
−
|Submitted date=2011-04-01
+
          (C) 2011-2015 Markus Uneson
−
|Is GNU=No
+
          (C) 1993-2011 Jon Jagger
−
|License verified date=2006-02-27
+
          (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-02
 +
|License note=https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright
 +
}}
 +
{{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=LGPL
 +
|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
 
{{Project license
−
|License=GPLv2orlater with library exception
+
|License=Spencer-86
−
|License verified by=mtjm
+
|License copyright=Copyright: (C) 1998, 1999 Henry Spencer
−
|License verified date=2014/10/31
+
|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
 
}}
 
}}
−
{{Person
+
{{Project license
−
|Real name=Jan Wielemaker
+
|License=TCL
−
|Role=Maintainer
+
|License copyright=Copyright: (C) 1998 Scriptics Corporation
−
|Email=wielemak@science.uva.nl
+
|License verified by=Genium
 +
|License verified date=2022-10-02
 +
|License note=Files: packages/xpce/src/rgx/regc_locale.c
 
}}
 
}}
−
{{Person
+
{{Project license
−
|Real name=Markus Triska
+
|License=GPL-2.0-or-later
−
|Role=Contributor
+
|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
 
}}
 
}}
−
{{Person
+
{{Project license
−
|Real name=Tom Schrijvers
+
|License=LGPL-2.1-or-later
−
|Role=Contributor
+
|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
 
}}
 
}}
−
{{Resource
+
{{Project license
−
|Resource audience=Debian (Ref)
+
|License=LucentPLv1.02
−
|Resource URL=https://tracker.debian.org/pkg/swi-prolog
+
|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
 
}}
 
}}
−
{{Resource
+
{{Project license
−
|Resource audience=Bug Tracking
+
|License=Other
−
|Resource kind=Bug Tracking
+
|License copyright=Copyright: (C) 1986 International Organization for Standardization
−
|Resource URL=https://github.com/SWI-Prolog/issues/issues
+
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
 
}}
 
}}
−
{{Resource
+
{{Project license
−
|Resource audience=Developer,Help,Support
+
|License=Other
−
|Resource kind=E-mail
+
|License copyright=Copyright: (C) 1985
−
|Resource URL=mailto:prolog@science.uva.nl
+
          (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
 
}}
 
}}
−
{{Resource
+
{{Project license
−
|Resource audience=Bug Tracking
+
|License=GPL-3.0-or-later
−
|Resource kind=E-mail
+
|License copyright=Copyright: (C) 1996-2001 Milan Zamazal <pdm@fi.muni.cz>
−
|Resource URL=bugs@swi-prolog.org
+
          (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 87: Line 340:
 
|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
 +
}}
 +
{{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
 +
|Accepts cryptocurrency donations=No
 +
|Test entry=No
 
}}
 
}}
 
{{Featured}}
 
{{Featured}}

Revision as of 18:39, 2 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.













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