Difference between revisions of "Swi-prolog"

From Free Software Directory
Jump to: navigation, search
(Created page with "{{Entry |Name=swi-prolog |Short description=Comprehensive Prolog compiler and environment |Full description=ISO/Edinburgh-style Prolog compiler including modules, autoload, libra...")
 
(update)
Line 3: Line 3:
 
|Short description=Comprehensive Prolog compiler and environment
 
|Short description=Comprehensive Prolog compiler and environment
 
|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
 
|User level=none
 
|User level=none
−
|Status=Live
+
|VCS checkout command=git clone https://github.com/SWI-Prolog/swipl.git
−
|Component programs=
 
−
|Homepage URL=http://www.swi-prolog.org
 
−
|VCS checkout command=:pserver:pl@gollem.science.uva.nl:/usr/local/cvspl
 
 
|Computer languages=C,Prolog
 
|Computer languages=C,Prolog
 
|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
−
|IRC help=
 
−
|IRC general=
 
−
|IRC development=
 
−
|Related projects=
 
 
|Keywords=GUI,prologm,logic programming,web applications,RDF
 
|Keywords=GUI,prologm,logic programming,web applications,RDF
−
|Is GNU=n
+
|Version identifier=6.6.6
−
|Last review by=Jan Wielemaker
+
|Version date=2014/05/28
−
|Last review date=2006-02-27
+
|Version status=stable
 +
|Version download=http://www.swi-prolog.org/download/stable/src/pl-6.6.6.tar.gz
 +
|Last review by=mtjm
 +
|Last review date=2014/10/31
 
|Submitted by=Database conversion
 
|Submitted by=Database conversion
 
|Submitted date=2011-04-01
 
|Submitted date=2011-04-01
−
|Version identifier=NO_VERSION_DATA
+
|Status=
−
|Version date=1970-01-01
+
|Is GNU=No
−
|Version status=stable
 
−
|Version download=http://www.swi-prolog.org/download.html
 
 
|License verified date=2006-02-27
 
|License verified date=2006-02-27
−
|Version comment=NO_VERSION_DATA
+
}}
 +
{{Project license
 +
|License=GPLv2orlater with library exception
 +
|License verified by=mtjm
 +
|License verified date=2014/10/31
 
}}
 
}}
 
{{Person
 
{{Person
 +
|Real name=Jan Wielemaker
 
|Role=Maintainer
 
|Role=Maintainer
−
|Real name=Jan Wielemaker
 
 
|Email=wielemak@science.uva.nl
 
|Email=wielemak@science.uva.nl
 
|Resource URL=
 
|Resource URL=
 
}}
 
}}
 
{{Person
 
{{Person
 +
|Real name=Markus Triska
 
|Role=Contributor
 
|Role=Contributor
−
|Real name=Markus Triska
 
−
|Email=
 
 
|Resource URL=
 
|Resource URL=
 
}}
 
}}
 
{{Person
 
{{Person
 +
|Real name=Tom Schrijvers
 
|Role=Contributor
 
|Role=Contributor
−
|Real name=Tom Schrijvers
 
−
|Email=
 
 
|Resource URL=
 
|Resource URL=
 
}}
 
}}
 
{{Resource
 
{{Resource
 
|Resource audience=Bug Tracking
 
|Resource audience=Bug Tracking
−
|Resource kind=VCS Repository Webview
+
|Resource kind=Bug Tracking
−
|Resource URL=http://gollem.science.uva.nl/bugzilla/
+
|Resource URL=https://github.com/SWI-Prolog/issues/issues
 
}}
 
}}
 
{{Resource
 
{{Resource
Line 59: Line 56:
 
|Resource audience=Bug Tracking
 
|Resource audience=Bug Tracking
 
|Resource kind=E-mail
 
|Resource kind=E-mail
−
|Resource URL=mailto:wielemak@science.uva.nl
+
|Resource URL=bugs@swi-prolog.org
 
}}
 
}}
 
{{Software category
 
{{Software category
−
|Interface=command-line,x-window-system,web
+
|Interface=command-line, web, x-window-system
−
|Software-development=small-specific-development-task
+
|Software-development=programming-language
 
|Use=software-development
 
|Use=software-development
−
}}
 
−
{{Project license
 
−
|License=GPLv2orlater
 
−
|License verified by=Ted Teah
 
−
|License verified date=2006-02-27
 
 
}}
 
}}
 
{{Software prerequisite
 
{{Software prerequisite
Line 95: Line 87:
 
|Prerequisite description=libreadline
 
|Prerequisite description=libreadline
 
}}
 
}}
 +
{{Featured}}

Revision as of 14:23, 31 October 2014


[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=22993"