Difference between revisions of "Swi-prolog"

From Free Software Directory
Jump to: navigation, search
(License: LPPL-1.2+)
(link to SWI-Prolog Solutions b.v. [paid support])
Line 388: Line 388:
 
|Resource kind=General
 
|Resource kind=General
 
|Resource URL=https://www.wikidata.org/wiki/Q2665141
 
|Resource URL=https://www.wikidata.org/wiki/Q2665141
 +
}}
 +
{{Resource
 +
|Resource audience=SWI-Prolog Solutions b.v.
 +
|Resource kind=Support
 +
|Resource URL=https://swi-prolog.com/
 
}}
 
}}
 
{{EntryDetails
 
{{EntryDetails
Line 402: Line 407:
 
|Last review date=2022-10-02
 
|Last review date=2022-10-02
 
|User level=advanced
 
|User level=advanced
 +
|Paid support=https://swi-prolog.com/
 
|Accepts cryptocurrency donations=No
 
|Accepts cryptocurrency donations=No
 
|Test entry=No
 
|Test entry=No
 
}}
 
}}
 
{{Featured}}
 
{{Featured}}

Revision as of 20:03, 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

Related Projects





Licensing

License

Verified by

Verified on

Notes

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

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: *

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

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

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/*

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

Verified by

Genium

Verified on

2 October 2022

Notes

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

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/*

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

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

License

TCL

Verified by

Genium

Verified on

2 October 2022

Notes

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

Verified by

Genium

Verified on

2 October 2022

Notes

Files: bench/chat_parser.pl

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.


"SWI-Prolog Solutions b.v." 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.