Avec le développement du mouvement de l’apprentissage en famille (AEF) dans les pays largement scolarisés, plusieurs États révisent leur cadre normatif pour mieux tenir compte cette pratique. Le manque classification satisfaisante des approches l’AEF a suscité une recension d’écrits scientifiques et juridiques sur sa régulation plus trente to...

Prolog is a logic programming language in which hereditary Harrop formulas generalise Horn formulas, and simply typed-terms generalise Prolog terms. One may wonder whether these extensions are simultaneously required, and if it exists useful subsets of Prolog, at least for pedagogical purposes. We answer this question by exhibiting a network of necessity links between the new features of Prolog...

Lorsque l’on parcourt les principales investigations linguistiques sur le phénomène « métaphore », quel que soit le niveau d’analyse considéré (syntaxique, sémantique ou pragmatique), un premier constat s’impose : on assiste à des approches massives de la structure métaphorique nominale de caractérisation (SN1 + copule + SN2) tandis que peu d’attention est consacrée aux autres structures de la ...