Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,906,349 papers from all fields of science
Search
Sign In
Create Free Account
SWI-Prolog
Known as:
Sociaal-Wetenschappelijke Informatica Prolog
, Swipl
, SWI Prolog
Expand
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
26 relations
Coinduction
Comparison of Prolog implementations
Constraint Handling Rules
Constraint logic programming
Expand
Broader (1)
Constraint programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Method of water information extraction by improved SWI based on GF-1 satellite image
W. Xudong
,
D. Fuzhou
,
Qu Xinyuan
,
Li Dan
,
Yun Panfeng
2017
Corpus ID: 64807265
2016
2016
SELF-DESTRUCTING SPIRAL WAVES: GLOBAL SIMULATIONS OF A SPIRAL-WAVE INSTABILITY IN ACCRETION DISKS
J. Bae
,
R. Nelson
,
L. Hartmann
,
S. Richard
2016
Corpus ID: 119251887
We present results from a suite of three-dimensional global hydrodynamic simulations that shows that spiral density waves…
Expand
Review
2015
Review
2015
Swi Prolog Reference Manual
Wei Zhang
,
Haiyan Zhao
,
T. Fruehwirth
,
L. Koninck
,
Markus Triska
,
J. Wielemaker
2015
Corpus ID: 59702505
Dept. of Social Science Informatics (SWI). Roeterstraat 15, 1018 WB Amsterdam. The Netherlands. Tel. (+31) 20 5256121. SWI-Prolog…
Expand
2012
2012
BRIT 1 / MCPH 1 links chromatin remodelling to DNA damage response
G. Peng
,
E. Yim
,
+7 authors
Shiaw-Yih Lin
2012
Corpus ID: 53664210
To detect and repair damaged DNA, DNA damage response proteins need to overcome the barrier of condensed chromatin to gain access…
Expand
2009
2009
The System of Wheat Intensification (SWI) Initial Test by Farmers in Goundam and Dire, Timbuktu, Mali 2009
E. Styger
,
H. Ibrahim
2009
Corpus ID: 12946382
2008
2008
Agent architecture for building Robocode players with SWI-Prolog
Vasile Alaiba
,
A. Rotaru
International Multiconference on Computer Science…
2008
Corpus ID: 15018092
Effective study of autonomous agents is a challenging activity, for researchers and programmers alike. In this paper we introduce…
Expand
2006
2006
Evaluating hypolimnetic diffusion parameters in thermally stratified lakes
A. Rimmer
,
W. Eckert
,
A. Nishri
,
Y. Agnon
2006
Corpus ID: 9540321
The vertical transport of solutes in the anoxic hypolimnion of thermally stratified lakes can be described by a one‐dimensional…
Expand
Review
2005
Review
2005
Hsp 90 : a chaperone for protein folding and gene regulation 1
Rongmin Zhao
,
W. Houry
2005
Corpus ID: 41837144
Molecular chaperones are essential components of a quality control machinery present in the cell. They can either aid in the…
Expand
2004
2004
The New Geophysics: implications for hydrocarbon recovery and possible contamination of time-lapse seismics
S. Crampin
2004
Corpus ID: 55555425
Recent theory and observations suggest that the fluid-saturated microcracks in hydrocarbon reservoirs (and most other in situ…
Expand
1990
1990
Nieuwe wetenschappelijke namen in de 21e editie van Heukels’ Flora van Nederland
E. Weeda
,
R. V. D. Meijden
1990
Corpus ID: 82294336
Een nieuwe combinatie in Glyceria — Zoals door M. Kerguelen in Buil. Soc. Bot. Fr. 125 (1978): 113—120 is uiteengezet, moet de…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE