Programmation logiqueLa programmation logique est une forme de programmation qui définit les applications à l'aide : d'une base de faits : ensemble de faits élémentaires concernant le domaine visé par l'application, d'une base de règles : règles de logique associant des conséquences plus ou moins directes à ces faits, d'un moteur d'inférence (ou démonstrateur de théorème ) : exploite ces faits et ces règles en réaction à une question ou requête. Cette approche se révèle beaucoup plus souple que la définition d'une succession d'instructions que l'ordinateur exécuterait.
Céphéidethumb|Une céphéide variant sur une période de quelques jours. Une céphéide est une étoile variable, géante ou supergéante jaune, de 4 à 15 fois plus massive que le Soleil et de plus lumineuse, dont l'éclat varie de 0,1 à 2 magnitudes selon une période bien définie, comprise entre 1 et 135 jours, d'où elle tire son nom d'étoile variable. Elles ont été nommées d'après le prototype que constitue l'étoile δ de la constellation de Céphée.
Histoire littéraireL'histoire littéraire est la discipline qui étudie l'évolution de la littérature à la lumière des courants littéraires et des relations entre littérature et histoire. En premier lieu, il faut faire la distinction entre l’« histoire de la Littérature » et l’« histoire littéraire ». D’une part, l’histoire de la Littérature évoque les évolutions de la Littérature au travers d’écrivains qui ont marqué leurs siècles par leurs œuvres ou les formes qu’elles empruntaient.
Littérature de langue allemandeLa littérature de langue allemande regroupe l'ensemble des œuvres littéraires de langue allemande. Elle ne se limite pas à la littérature produite en Allemagne, mais englobe celle produite en Autriche ainsi que dans la partie alémanique de la Suisse ou plus modestement dans la Communauté germanophone de Belgique (les cantons de l'Est). L'histoire littéraire, qui étudie tous les genres, retient différentes périodes aux contours souvent imprécis et discutés.
