Ghent University Academic Bibliography

Advanced

SWI-Prolog

Jan Wielemaker, Tom Schrijvers UGent, Markus Triska and Torbjörn Lager (2012) THEORY AND PRACTICE OF LOGIC PROGRAMMING. 12(1-2). p.67-96
abstract
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledge- intensive and interactive systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial involvement has created the initial garbage collector, added several interfaces and two development tools: PlDoc (a literate program- ming documentation system) and PlUnit (a unit testing environment). In this article we present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between foreign resources. This article itself is the glue between technical articles on SWI-Prolog, providing context and experience in applying them over a longer period.
Please use this url to cite or link to this publication:
author
organization
year
type
journalArticle (original)
publication status
published
subject
keyword
software engineering, CONSTRAINT HANDLING RULES, logic programming, Prolog, IMPLEMENTATION, FRAMEWORK, SYSTEM
journal title
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Theory Pract. Log. Program.
volume
12
issue
1-2
issue title
Prolog systems
pages
67 - 96
Web of Science type
Article
Web of Science id
000299888500004
JCR category
LOGIC
JCR impact factor
0.288 (2012)
JCR rank
17/20 (2012)
JCR quartile
4 (2012)
ISSN
1471-0684
DOI
10.1017/S1471068411000494
language
English
UGent publication?
yes
classification
A1
copyright statement
I have transferred the copyright for this publication to the publisher
id
1078584
handle
http://hdl.handle.net/1854/LU-1078584
date created
2010-11-23 15:24:21
date last changed
2012-05-02 16:22:51
@article{1078584,
  abstract     = {SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledge- intensive and interactive systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial involvement has created the initial garbage collector, added several interfaces and two development tools: PlDoc (a literate program- ming documentation system) and PlUnit (a unit testing environment).
In this article we present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between foreign resources. This article itself is the glue between technical articles on SWI-Prolog, providing context and experience in applying them over a longer period.},
  author       = {Wielemaker, Jan and Schrijvers, Tom and Triska, Markus and Lager, Torbj{\"o}rn},
  issn         = {1471-0684},
  journal      = {THEORY AND PRACTICE OF LOGIC PROGRAMMING},
  keyword      = {software engineering,CONSTRAINT HANDLING RULES,logic programming,Prolog,IMPLEMENTATION,FRAMEWORK,SYSTEM},
  language     = {eng},
  number       = {1-2},
  pages        = {67--96},
  title        = {SWI-Prolog},
  url          = {http://dx.doi.org/10.1017/S1471068411000494},
  volume       = {12},
  year         = {2012},
}

Chicago
Wielemaker, Jan, Tom Schrijvers, Markus Triska, and Torbjörn Lager. 2012. “SWI-Prolog.” Theory and Practice of Logic Programming 12 (1-2): 67–96.
APA
Wielemaker, J., Schrijvers, T., Triska, M., & Lager, T. (2012). SWI-Prolog. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 12(1-2), 67–96.
Vancouver
1.
Wielemaker J, Schrijvers T, Triska M, Lager T. SWI-Prolog. THEORY AND PRACTICE OF LOGIC PROGRAMMING. 2012;12(1-2):67–96.
MLA
Wielemaker, Jan, Tom Schrijvers, Markus Triska, et al. “SWI-Prolog.” THEORY AND PRACTICE OF LOGIC PROGRAMMING 12.1-2 (2012): 67–96. Print.