X-Nico

unusual facts about SWI-Prolog


SWI-Prolog

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.


Atypical teratoid rhabdoid tumor

The rate of transcription for SWI/SNF and HDAC complexes seem to be regulated by the INI1 gene.

Chromatin remodeling

Inactivating mutations in SMARCB1, formerly known as hSNF5/INI1 and a component of the human SWI/SNF remodeling complex have been found in large number of rhabdoid tumors, commonly affecting pediatric population.

There are at least five families of chromatin remodelers in eukaryotes : SWI/SNF, ISWI, NuRD/Mi-2/CHD, INO80 and SWR1 with first two remodelers being very well studied so far, especially in the yeast model.

Cut-elimination theorem

The possibility of carrying out proof search based on resolution, the essential insight leading to the Prolog programming language, depends upon the admissibility of Cut in the appropriate system.

Default logic

For example, the computer language Prolog uses a sort of default assumption when dealing with negation: if a negative atom cannot be proved to be true, then it is assumed to be false.

ECLiPSe

To simplify porting tasks, compatibility libraries for ISO Prolog and other Prolog dialects (C-Prolog, Quintus, SICStus, SWI-Prolog) are provided.

Horn clause

In fact, the resolution of a goal clause with a definite clause to produce a new goal clause is the basis of the SLD resolution inference rule, used to implement logic programming and the programming language Prolog.

Księga Tajemnicza. Prolog

Prolog is the debut album of Polish hip-hop group Kaliber 44, released in 1996, on S.P. Records.

Logic

Logic programming systems such as Prolog compute the consequences of the axioms and rules in order to answer a query.

Logico-linguistic modeling

Formulae in predicate logic translate easily into the Prolog artificial intelligence language.

Prograph

This work was continued at Technical University of Nova Scotia by Pietrzykowski and Dr. Philip Cox, including a version done in Prolog.

Smultron

It is able to edit and save many different file types, and has syntax highlighting support for many popular programming languages including C, C++, LISP, Java, Python, PHP, Ruby, HTML, XML, CSS, Prolog, IDL and D.

Stanislav Sočivica

They arrived in Proložac or Prolog (Imotski), which at the time was under the Republic of Venice, and buys land to build a house on (Ciciljani house) and goods, with the Ottoman money.

Susceptibility weighted imaging

Recent studies suggest that SWI might be suitable for monitorizing neurosurgical patients recovering from Pneumocephalus, as air can be easily detected with SWI.

Due to its sensitivity to venous blood SWI is commonly used in traumatic brain injuries (TBI) and for high resolution brain venographies but has many other clinical applications.

Tumor suppressor gene

Among the most frequently mutated genes are components of the SWI/SNF chromatin remodeling complex, which are lost in about 20% of tumors.

XSB

XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc.


see also