Difference between revisions of "Swi-prolog"

From Free Software Directory
Jump to: navigation, search
(update)
m (added related project)
Line 9: Line 9:
 
|Documentation note=Online, HTML and PDF
 
|Documentation note=Online, HTML and PDF
 
|Paid support=Commercial support through www.cognitivetools.com
 
|Paid support=Commercial support through www.cognitivetools.com
 +
|Related projects=Gprolog
 
|Keywords=GUI,prologm,logic programming,web applications,RDF
 
|Keywords=GUI,prologm,logic programming,web applications,RDF
 
|Version identifier=6.6.6
 
|Version identifier=6.6.6

Revision as of 09:00, 3 February 2016


[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 





































































































































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