langage logique
Apparence
Cette entrée est considérée comme une ébauche à compléter en français. Si vous possédez quelques connaissances sur le sujet, vous pouvez les partager en modifiant dès à présent cette page (en cliquant sur le lien « modifier le wikicode »). |
Étymologie
[modifier le wikicode]- Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici.
Locution nominale
[modifier le wikicode]Singulier | Pluriel |
---|---|
langage logique | langages logiques |
\lɑ̃.ɡaʒ lɔ.ʒik\ |
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
[modifier le wikicode]- Anglais : logic language (en)