SWI-Prolog

Known as: Sociaal-Wetenschappelijke Informatica Prolog, Swipl, SWI Prolog 
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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1984-2017
020406019842017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
We present a new constraint solver over Boolean variables, available as library(clpb) in SWI-Prolog. Our solver distinguishes… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 4
Is this relevant?
Review
2015
Review
2015
Recently, we see a new type of interfaces for programmers based on web technology. For example, JSFiddle, IPython Notebook and R… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
SWI-Prolog version 7 extends the Prolog language as a general purpose programming language that can be used as ‘glue’ between… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
Highly Cited
2012
Highly Cited
2012
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
We present a new constraint solver over finite domains, freely available as library(clpfd) in SWI-Prolog. Our solver has several… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2008
2008
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its… (More)
  • figure 1
  • figure 4
  • figure 6
  • figure 7
  • table 1
Is this relevant?
2006
2006
SWI-Prolog is a Prolog implementation based on a subset of the WAM (Warren Abstract Machine). SWI-Prolog was developed as an open… (More)
  • table 2.2
  • table 3.1
  • figure 3.1
  • figure 3.2
  • table 4.1
Is this relevant?
2003
2003
Concurrency is an attractive property of a language to exploit multi-CPU hardware or perform multiple tasks concurrently. In… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2003
Review
2003
The Prolog programmer’s needs have always been the focus for guiding the development of the SWI-Prolog system. This article… (More)
  • figure 1
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
2003
2003
This paper describes the implementation and use of SWI-Speech, an interface between SWI-Prolog and Microsoft SAPI (Speech… (More)
Is this relevant?