La logique de programmation, tu l’acquiers en programmant. Ne perds même pas ton temps à suivre un cours, d’autant plus que ce que beaucoup de gens appellent « logique de programmation » ne fonctionne ...

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" ...

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, ...

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..