Logic programmingLogic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, answer set programming (ASP) and Datalog. In all of these languages, rules are written in the form of clauses: H :- B1, ..., Bn. and are read declaratively as logical implications: H if B1 and ... and Bn. H is called the head of the rule and B1, .
Cepheid variableA Cepheid variable (ˈsɛfi.ɪd,_ˈsiːfi-) is a type of variable star that pulsates radially, varying in both diameter and temperature. It changes in brightness, with a well-defined stable period and amplitude. Cepheids are important cosmic benchmarks for scaling galactic and extragalactic distances. A strong direct relationship exists between a Cepheid variable's luminosity and its pulsation period. This characteristic of classical Cepheids was discovered in 1908 by Henrietta Swan Leavitt after studying thousands of variable stars in the Magellanic Clouds.
History of literatureThe history of literature is the historical development of writings in prose or poetry that attempt to provide entertainment, enlightenment, or instruction to the reader/listener/observer, as well as the development of the literary techniques used in the communication of these pieces. Not all writings constitute literature. Some recorded materials, such as compilations of data (e.g., a check register) are not considered literature, and this article relates only to the evolution of the works defined above.
German literatureGerman literature (Deutschsprachige Literatur) comprises those literary texts written in the German language. This includes literature written in Germany, Austria, the German parts of Switzerland and Belgium, Liechtenstein, Luxembourg, South Tyrol in Italy and to a lesser extent works of the German diaspora. German literature of the modern period is mostly in Standard German, but there are some currents of literature influenced to a greater or lesser degree by dialects (e.g. Alemannic).
