Victor a écrit :Peux tu définir tes mots "Programmation logique" "prouveur" etc. tu dois être canadien parce que je ne vois pas "programmation" c'est toujours basé sur la logique? Non! Et "prouveur" ...

On utilise régulièrement des distributeurs automatiques (pour acheter des boissons ou de la nourriture par exemple), mais vous-êtes-vous déjà posé la question sur la manière dont est rendue la monnaie ...

Il y a 50 ans, Alain Colmerauer jetait les bases de Prolog, premier langage informatique de « programmation en logique ». A l’instar de LISP, il allait devenir l’un des outils phares de l’Intelligence ...

Connaître les concepts théoriques et pratiques des langages de programmation; apprendre à concevoir des programmes dans différents types de langages de programmation; s'initier aux langages de ...

LogicSim est un simulateur Java de circuits logiques particulièrement performant et efficace, fonctionnant sous toutes les plates-formes. Vous pouvez y dessiner des circuits en utilisant les portes ...

Alain Colmerauer, universitaire français passé de la compilation à la traduction automatique (Montréal, 1967-70), eut d'abord l’idée des Q-systèmes (1969), formés de règles de réécriture d’arbres, ...

Si, dès l’Antiquité, Euclide avait décrit la suite d’opérations permettant de calculer le plus grand commun diviseur de deux entiers, il a fallu attendre le neuvième siècle de notre ère pour qu’un ...

Google vient de présenter un nouveau langage open source : Logica. Ce langage est le successeur du langage de Google Yedalog. Il s'agit d'un langage de programmation logique de type Datalog. Le code..