Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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… Expand
  • 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… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Abstract. The role and the importance of soil moisture for meteorological, agricultural and hydrological applications is widely… Expand
  • table 1
  • table 2
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Abstract Linkages between diminishing Arctic sea ice and changes in Arctic terrestrial ecosystems have not been previously… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • 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… Expand
  • figure 1
  • figure 4
  • figure 6
  • figure 7
  • table 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in… Expand
  • figure 1
  • figure 4
  • figure 5
  • figure 6
  • figure 8
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Abstract Uncertainty in spatial and temporal distribution of rainfall in regional crop yield simulations comprises a major… Expand
Is this relevant?
2005
2005
Until recently SWI-Prolog had no built-in support for constraint solving. The positive experience with porting the K.U.Leuven CHR… Expand
Is this relevant?
2003
2003
Concurrency is an attractive property of a language to exploit multi-CPU hardware or perform multiple tasks concurrently. In… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?