Skip to content
EntityQ2665141· pop 9· linked from 24 articles

SWI-Prolog

Sign in to save

SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI, interfacing to Java, ODBC and others, literate programming, a web server, SGML, RDF, RDFS, developer tools (including an IDE with a GUI debugger and GUI profiler), and extensive documentation.

In the Vinony graph

Within Vinony's link graph, SWI-Prolog is referenced by 24 other articles, and connects out to cross-platform software, English language and Linux.

It sits within the topics Constraint programming, Cross-platform free software and Free and open source compilers.

Its subject is documented across 8 Wikipedia language editions.

Wikidata facts

Instance of
free software
Subclass of
Emacs
Official website
www.swi-prolog.org
Show 12 more facts
inception
1987-00-00
DuckDuckGo bang
swipl
Commons category
SWI-Prolog
programmed in
C
software version identifier
10.0.0
source code repository URL
github.com/SWI-Prolog
IRC channel URL
irc://irc.libera.chat/prolog
operating system
Android
Sources (7)

via Wikidata · CC0

~4 min read

Encyclopedic overview

8 sections
Contents
  • Execution model
  • Constraint logic programming
  • Extensions for SWI-Prolog
  • XPCE
  • Interfaces
  • See also
  • References
  • External links

SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI, interfacing to Java, ODBC and others, literate programming, a web server, SGML, RDF, RDFS, developer tools (including an IDE with a GUI debugger and GUI profiler), and extensive documentation.

SWI-Prolog runs on Unix, Windows, Macintosh and Linux platforms.

Excerpted from Wikipedia’s “SWI-Prolog” article, available under the CC BY-SA 4.0 licence.

Available in 8 languages

via Wikidata sitelinks · CC0

Connections

Categories