Définitionslangage logique

langage logique

nom masculin
/lɑ̃.ɡaʒ lɔ.ʒik/
  1. InformatiqueLangage de programmation qui traite des prédicats ou relations p(X,Y) ; le programme consiste en un ensemble de clauses de Horn.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.