SWI-Prolog
Initial release | 1987 |
---|---|
Stable release | 5.9.7 |
Written in | C, C++ |
Operating system | Cross-platform |
Available in | English |
Type | Logic programming |
License | LGPL |
Website | swi-prolog.org/ |
SWI-Prolog is an open source 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, and Macintosh platforms.
SWI-Prolog has been under continuous development since 1987. Its main author is Jan Wielemaker. The name SWI is derived from Sociaal-Wetenschappelijke Informatica ("Social Science Informatics"), the former name of the group at the University of Amsterdam, where Wielemaker is employed. The name of this group has changed to HCS (Human-Computer Studies).
XPCE
XPCE is a platform independent GUI toolkit for SWI-Prolog, Lisp and other interactive and dynamically typed languages. Although XPCE was designed to be language-independent, it has gained popularity most with Prolog. The development XPCE graphic toolkit started in 1987, together with SWI-Prolog.
It supports buttons, menus, sliders, tabs and other basic GUI widgets. XPCE is available for all platforms supported by SWI-Prolog.
PceEmacs
PceEmacs is a SWI-Prolog builtin editor. PceEmacs is an Emacs clone implemented in Prolog (and XPCE). It supports proper indentation, syntax highlighting, full syntax checking by calling the SWI-Prolog parser, warning for singleton variables and finding predicate definitions based on the source-information from the Prolog database.
See also
External links
If you like SEOmastering Site, you can support it by - BTC: bc1qppjcl3c2cyjazy6lepmrv3fh6ke9mxs7zpfky0 , TRC20 and more...