langage logique

== Français == === Étymologie === Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici. === Locution nominale === langage logique \lɑ̃.ɡaʒ lɔ.ʒik\ masculin (Informatique) Langage de programmation qui traite des prédicats ou relations p(X,Y) ; le programme consiste en un ensemble de clauses de Horn. Exemple d’utilisation manquant. (Ajouter) ==== Traductions ====