Programmation logique

Google Logica : un nouveau langage de programmation logique successeur de Yedalog
16 Avril 2021
Langages
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...
25e atelier sur la programmation logique à Vienne, en Autriche
03 Juin 2011
Conférences - Salons
Le 25e atelier sur la programmation logique aura lieu du 28 au 30 septembre 2011 à Vienne, en Autriche. La programmation déclarative est un paradigme avancé de modélisation et de résolution de...