TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
LOGIQUE PROGRAMMATION [16 fiches]
Fiche 1 - données d’organisme interne 2024-05-09
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Computer Programs and Programming
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- logic programming
1, fiche 1, Anglais, logic%20programming
correct, normalisé
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 DEF
A method for structuring programs as sets of logical rules with predefined algorithms for the processing of input data to a program according to the rules of that program. 2, fiche 1, Anglais, - logic%20programming
Record number: 1, Textual support number: 1 CONT
One of the most important features of logic programming is that it separates the idea of goals from the statements of how to satisfy them. 3, fiche 1, Anglais, - logic%20programming
Record number: 1, Textual support number: 2 CONT
One outcome of the procedural-declarative controversy ... has been the development of "logic programming", in particular the language PROLOG ... which is essentially a notation for predicate logic. 4, fiche 1, Anglais, - logic%20programming
Record number: 1, Textual support number: 1 OBS
logic programming: term standardized by ISO and CSA. 5, fiche 1, Anglais, - logic%20programming
Fiche 1, Français
Fiche 1, Domaine(s)
- Programmes et programmation (Informatique)
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- programmation logique
1, fiche 1, Français, programmation%20logique
correct, nom féminin, normalisé
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
- programmation en logique 2, fiche 1, Français, programmation%20en%20logique
correct, nom féminin, normalisé
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 DEF
Programmation basée sur la logique propositionnelle, la logique des prédicats, ou une extension de celles-ci. 3, fiche 1, Français, - programmation%20logique
Record number: 1, Textual support number: 2 DEF
Méthode utilisée pour structurer les programmes sous la forme d'ensembles de règles logiques munis d'algorithmes prédéfinis permettant de traiter, selon ces règles, les données d'entrée d'un programme. 4, fiche 1, Français, - programmation%20logique
Record number: 1, Textual support number: 1 OBS
Le langage Prolog a été spécialement conçu pour ce type de programmation. Notion développée par C. Cordell Green dans sa thèse de doctorat (1969). 5, fiche 1, Français, - programmation%20logique
Record number: 1, Textual support number: 2 OBS
programmation en logique; programmation logique : termes normalisés par l'ISO et la CSA. 6, fiche 1, Français, - programmation%20logique
Fiche 1, Espagnol
Fiche 1, Campo(s) temático(s)
- Programas y programación (Informática)
- Inteligencia artificial
Fiche 1, La vedette principale, Espagnol
- programación lógica
1, fiche 1, Espagnol, programaci%C3%B3n%20l%C3%B3gica
correct, nom féminin
Fiche 1, Les abréviations, Espagnol
Fiche 1, Les synonymes, Espagnol
Fiche 1, Justifications, Espagnol
Record number: 1, Textual support number: 1 DEF
Método de programación en el que los enunciados son del tipo lógico, en el sentido técnico del término, o sea, representan proposiciones y predicados lógicos, implicaciones lógicas, etc. 1, fiche 1, Espagnol, - programaci%C3%B3n%20l%C3%B3gica
Fiche 2 - données d’organisme interne 2024-02-13
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Computer Programs and Programming
- Artificial Intelligence
Fiche 2, La vedette principale, Anglais
- constraint logic programming
1, fiche 2, Anglais, constraint%20logic%20programming
correct
Fiche 2, Les abréviations, Anglais
- CLP 2, fiche 2, Anglais, CLP
correct
Fiche 2, Les synonymes, Anglais
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 CONT
Constraint logic programming is a subfield of AI [artificial intelligence] that deals with the use of logic to solve problems with constraints. 3, fiche 2, Anglais, - constraint%20logic%20programming
Fiche 2, Terme(s)-clé(s)
- constraint logic programing
Fiche 2, Français
Fiche 2, Domaine(s)
- Programmes et programmation (Informatique)
- Intelligence artificielle
Fiche 2, La vedette principale, Français
- programmation logique par contraintes
1, fiche 2, Français, programmation%20logique%20par%20contraintes
correct, nom féminin
Fiche 2, Les abréviations, Français
- PLC 2, fiche 2, Français, PLC
correct, nom féminin
Fiche 2, Les synonymes, Français
- programmation logique avec contraintes 3, fiche 2, Français, programmation%20logique%20avec%20contraintes
correct, nom féminin
Fiche 2, Justifications, Français
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 2023-04-26
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Computer Programs and Programming
- Artificial Intelligence
Fiche 3, La vedette principale, Anglais
- abductive logic programming
1, fiche 3, Anglais, abductive%20logic%20programming
correct
Fiche 3, Les abréviations, Anglais
- ALP 2, fiche 3, Anglais, ALP
correct
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 CONT
In abductive logic programming, a programmer writes a set of rules that describe a set of possible explanations for a given observation. The programmer then runs the program on a set of data, and the program outputs the most likely explanation for the data. 3, fiche 3, Anglais, - abductive%20logic%20programming
Record number: 3, Textual support number: 1 OBS
Abductive logic programming is a powerful tool for AI [artificial intelligence] applications because it can help computers find explanations for data that is otherwise difficult to interpret. For example, abductive logic programming can be used to diagnose medical conditions, identify financial fraud, or plan robot movements. 3, fiche 3, Anglais, - abductive%20logic%20programming
Fiche 3, Français
Fiche 3, Domaine(s)
- Programmes et programmation (Informatique)
- Intelligence artificielle
Fiche 3, La vedette principale, Français
- programmation logique abductive
1, fiche 3, Français, programmation%20logique%20abductive
correct, nom féminin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
- programmation logique par abduction 2, fiche 3, Français, programmation%20logique%20par%20abduction
correct, nom féminin
Fiche 3, Justifications, Français
Record number: 3, Textual support number: 1 CONT
La programmation logique abductive est une technique bien connue pour raisonner avec des connaissances incomplètes. Elle élargit la programmation logique normale en permettant à certains prédicats d'être incomplètement définis. 3, fiche 3, Français, - programmation%20logique%20abductive
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme externe 2014-08-25
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Fiche 4
Fiche 4, La vedette principale, Anglais
- logic programming
1, fiche 4, Anglais, logic%20programming
correct, normalisé
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
Fiche 4, Justifications, Anglais
Record number: 4, Textual support number: 1 DEF
method for structuring programs as sets of logical rules with predefined algorithms for the processing of input data to a program according to the rules of that program 1, fiche 4, Anglais, - logic%20programming
Record number: 4, Textual support number: 1 OBS
logic programming: term and definition standardized by ISO/IEC [ISO/IEC 2382-7:2000]. 2, fiche 4, Anglais, - logic%20programming
Fiche 4, Français
Fiche 4, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Fiche 4
Fiche 4, La vedette principale, Français
- programmation logique
1, fiche 4, Français, programmation%20logique
correct, nom féminin, normalisé
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Record number: 4, Textual support number: 1 DEF
méthode utilisée pour structurer les programmes sous la forme d'ensembles de règles logiques munis d'algorithmes prédéfinis permettant de traiter, selon ces règles, les données d'entrée d'un programme 1, fiche 4, Français, - programmation%20logique
Record number: 4, Textual support number: 1 OBS
programmation logique : terme et définition normalisés par l'ISO/CEI [ISO/IEC 2382-7:2000]. 2, fiche 4, Français, - programmation%20logique
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
Fiche 5 - données d’organisme interne 2010-07-21
Fiche 5, Anglais
Fiche 5, Subject field(s)
- Programming Languages
Fiche 5, La vedette principale, Anglais
- ladder logic programming language
1, fiche 5, Anglais, ladder%20logic%20programming%20language
correct
Fiche 5, Les abréviations, Anglais
- LAD 1, fiche 5, Anglais, LAD
correct
Fiche 5, Les synonymes, Anglais
- ladder logic 2, fiche 5, Anglais, ladder%20logic
correct
- ladder programming language 3, fiche 5, Anglais, ladder%20programming%20language
correct
Fiche 5, Justifications, Anglais
Record number: 5, Textual support number: 1 DEF
A programming language for programmable logic controllers that uses graphical program elements (contacts, coils and boxes) linked together to form a program that resembles a relay ladder logic diagram. 4, fiche 5, Anglais, - ladder%20logic%20programming%20language
Fiche 5, Français
Fiche 5, Domaine(s)
- Langages de programmation
Fiche 5, La vedette principale, Français
- langage schéma à contacts
1, fiche 5, Français, langage%20sch%C3%A9ma%20%C3%A0%20contacts
correct, nom masculin
Fiche 5, Les abréviations, Français
Fiche 5, Les synonymes, Français
- langage de programmation en logique à relais 2, fiche 5, Français, langage%20de%20programmation%20en%20logique%20%C3%A0%20relais
correct, nom masculin
- langage de programmation ladder 3, fiche 5, Français, langage%20de%20programmation%20ladder
nom masculin
- logique ladder 4, fiche 5, Français, logique%20ladder
nom féminin
Fiche 5, Justifications, Français
Record number: 5, Textual support number: 1 DEF
Langage graphique [qui sert à] programmer les automates programmables industriels (PLC) [et qui permet l'écriture d'un] programme de contrôle sous la forme d'un circuit électrique comportant des interrupteurs. 5, fiche 5, Français, - langage%20sch%C3%A9ma%20%C3%A0%20contacts
Record number: 5, Textual support number: 1 CONT
Un programme écrit en langage schéma à contacts consiste en la représentation graphique d'instructions d'un programme de l'automate, avec des symboles pour les contacts, bobines et blocs, sous la forme d'une série de réseaux exécutés de manière séquentielle par un automate. 6, fiche 5, Français, - langage%20sch%C3%A9ma%20%C3%A0%20contacts
Fiche 5, Espagnol
Fiche 5, Justifications, Espagnol
Fiche 6 - données d’organisme interne 1990-09-28
Fiche 6, Anglais
Fiche 6, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Fiche 6, La vedette principale, Anglais
- logical programming environment
1, fiche 6, Anglais, logical%20programming%20environment
correct
Fiche 6, Les abréviations, Anglais
Fiche 6, Les synonymes, Anglais
- logic programming environment 1, fiche 6, Anglais, logic%20programming%20environment
correct
Fiche 6, Français
Fiche 6, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Fiche 6, La vedette principale, Français
- environnement de programmation logique
1, fiche 6, Français, environnement%20de%20programmation%20logique
correct, nom masculin
Fiche 6, Les abréviations, Français
Fiche 6, Les synonymes, Français
Fiche 6, Justifications, Français
Fiche 6, Espagnol
Fiche 6, Justifications, Espagnol
Fiche 7 - données d’organisme interne 1990-09-28
Fiche 7, Anglais
Fiche 7, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Fiche 7, La vedette principale, Anglais
- logic programming tool
1, fiche 7, Anglais, logic%20programming%20tool
correct
Fiche 7, Les abréviations, Anglais
Fiche 7, Les synonymes, Anglais
Fiche 7, Français
Fiche 7, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Fiche 7, La vedette principale, Français
- outil de programmation logique
1, fiche 7, Français, outil%20de%20programmation%20logique
correct, nom masculin
Fiche 7, Les abréviations, Français
Fiche 7, Les synonymes, Français
Fiche 7, Justifications, Français
Fiche 7, Espagnol
Fiche 7, Justifications, Espagnol
Fiche 8 - données d’organisme interne 1990-08-31
Fiche 8, Anglais
Fiche 8, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Fiche 8, La vedette principale, Anglais
- nonparallel logic programming
1, fiche 8, Anglais, nonparallel%20logic%20programming
correct
Fiche 8, Les abréviations, Anglais
Fiche 8, Les synonymes, Anglais
Fiche 8, Français
Fiche 8, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Fiche 8, La vedette principale, Français
- programmation logique non parallèle
1, fiche 8, Français, programmation%20logique%20non%20parall%C3%A8le
correct, nom féminin
Fiche 8, Les abréviations, Français
Fiche 8, Les synonymes, Français
Fiche 8, Justifications, Français
Fiche 8, Espagnol
Fiche 8, Justifications, Espagnol
Fiche 9 - données d’organisme interne 1990-08-20
Fiche 9, Anglais
Fiche 9, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Fiche 9, La vedette principale, Anglais
- support logic programming
1, fiche 9, Anglais, support%20logic%20programming
correct
Fiche 9, Les abréviations, Anglais
Fiche 9, Les synonymes, Anglais
Fiche 9, Français
Fiche 9, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Fiche 9, La vedette principale, Français
- programmation logique de soutien
1, fiche 9, Français, programmation%20logique%20de%20soutien
correct, nom féminin
Fiche 9, Les abréviations, Français
Fiche 9, Les synonymes, Français
Fiche 9, Justifications, Français
Fiche 9, Espagnol
Fiche 9, Justifications, Espagnol
Fiche 10 - données d’organisme interne 1987-01-30
Fiche 10, Anglais
Fiche 10, Subject field(s)
- Artificial Intelligence
- Operating Systems (Software)
Fiche 10, La vedette principale, Anglais
- logic programming interface
1, fiche 10, Anglais, logic%20programming%20interface
correct
Fiche 10, Les abréviations, Anglais
Fiche 10, Les synonymes, Anglais
Fiche 10, Français
Fiche 10, Domaine(s)
- Intelligence artificielle
- Systèmes d'exploitation (Logiciels)
Fiche 10, La vedette principale, Français
- interface de programmation logique
1, fiche 10, Français, interface%20de%20programmation%20logique
proposition, nom féminin
Fiche 10, Les abréviations, Français
Fiche 10, Les synonymes, Français
Fiche 10, Justifications, Français
Fiche 10, Espagnol
Fiche 10, Justifications, Espagnol
Fiche 11 - données d’organisme interne 1987-01-30
Fiche 11, Anglais
Fiche 11, Subject field(s)
- Artificial Intelligence
Fiche 11, La vedette principale, Anglais
- logic programming parsing
1, fiche 11, Anglais, logic%20programming%20parsing
correct
Fiche 11, Les abréviations, Anglais
Fiche 11, Les synonymes, Anglais
Fiche 11, Français
Fiche 11, Domaine(s)
- Intelligence artificielle
Fiche 11, La vedette principale, Français
- analyse de programmation logique
1, fiche 11, Français, analyse%20de%20programmation%20logique
proposition, nom féminin
Fiche 11, Les abréviations, Français
Fiche 11, Les synonymes, Français
- parsage de programmation 1, fiche 11, Français, parsage%20de%20programmation
proposition, nom masculin
Fiche 11, Justifications, Français
Fiche 11, Espagnol
Fiche 11, Justifications, Espagnol
Fiche 12 - données d’organisme interne 1987-01-30
Fiche 12, Anglais
Fiche 12, Subject field(s)
- Artificial Intelligence
Fiche 12, La vedette principale, Anglais
- logic programming parser
1, fiche 12, Anglais, logic%20programming%20parser
correct
Fiche 12, Les abréviations, Anglais
Fiche 12, Les synonymes, Anglais
Fiche 12, Justifications, Anglais
Record number: 12, Textual support number: 1 DEF
It reads and stacks input text until the parse stack contains the right-hand side (rhs) of the appropriate production, as determined by the parse tables. 1, fiche 12, Anglais, - logic%20programming%20parser
Fiche 12, Français
Fiche 12, Domaine(s)
- Intelligence artificielle
Fiche 12, La vedette principale, Français
- analyseur de programmation logique
1, fiche 12, Français, analyseur%20de%20programmation%20logique
proposition, nom masculin
Fiche 12, Les abréviations, Français
Fiche 12, Les synonymes, Français
- parseur de programmation logique 1, fiche 12, Français, parseur%20de%20programmation%20logique
proposition, nom masculin
Fiche 12, Justifications, Français
Fiche 12, Espagnol
Fiche 12, Justifications, Espagnol
Fiche 13 - données d’organisme interne 1986-12-31
Fiche 13, Anglais
Fiche 13, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Fiche 13, La vedette principale, Anglais
- programming logic
1, fiche 13, Anglais, programming%20logic
correct
Fiche 13, Les abréviations, Anglais
Fiche 13, Les synonymes, Anglais
Fiche 13, Français
Fiche 13, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Fiche 13, La vedette principale, Français
- logique de programmation
1, fiche 13, Français, logique%20de%20programmation
correct, nom féminin
Fiche 13, Les abréviations, Français
Fiche 13, Les synonymes, Français
Fiche 13, Justifications, Français
Fiche 13, Espagnol
Fiche 13, Justifications, Espagnol
Fiche 14 - données d’organisme interne 1986-11-14
Fiche 14, Anglais
Fiche 14, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Fiche 14, La vedette principale, Anglais
- parallel logic programming
1, fiche 14, Anglais, parallel%20logic%20programming
correct
Fiche 14, Les abréviations, Anglais
Fiche 14, Les synonymes, Anglais
Fiche 14, Français
Fiche 14, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Fiche 14, La vedette principale, Français
- programmation logique en parallèle
1, fiche 14, Français, programmation%20logique%20en%20parall%C3%A8le
correct, nom féminin
Fiche 14, Les abréviations, Français
Fiche 14, Les synonymes, Français
- programmation logique parallèle 1, fiche 14, Français, programmation%20logique%20parall%C3%A8le
correct, nom féminin
Fiche 14, Justifications, Français
Fiche 14, Espagnol
Fiche 14, Justifications, Espagnol
Fiche 15 - données d’organisme interne 1986-05-13
Fiche 15, Anglais
Fiche 15, Subject field(s)
- Computer Programs and Programming
Fiche 15, La vedette principale, Anglais
- logic programming language
1, fiche 15, Anglais, logic%20programming%20language
correct
Fiche 15, Les abréviations, Anglais
Fiche 15, Les synonymes, Anglais
Fiche 15, Justifications, Anglais
Record number: 15, Textual support number: 1 DEF
A class of programming languages, and a subclass of the declarative languages, that is based on symbolic logic. The objective is to program in "pure" logic, but this has not yet been achieved. The most widely used logic programming language is PROLOG (based on the Horn clause subset of logic ) but includes certain "impure" features. 1, fiche 15, Anglais, - logic%20programming%20language
Fiche 15, Français
Fiche 15, Domaine(s)
- Programmes et programmation (Informatique)
Fiche 15, La vedette principale, Français
- langage de programmation logique
1, fiche 15, Français, langage%20de%20programmation%20logique
correct, nom masculin
Fiche 15, Les abréviations, Français
Fiche 15, Les synonymes, Français
Fiche 15, Justifications, Français
Record number: 15, Textual support number: 1 CONT
Il est prévu au contraire de mettre au point un langage (en cours de définition), relevant de la catégorie des langages de programmation logiques, qui permet d'exprimer non pas des instructions à exécuter scrupuleusement, mais des contraintes logiques portant sur des variables, un "moteur" se chargeant de trouver toutes les combinaisons de valeurs qui satisfont ces contraintes. 1, fiche 15, Français, - langage%20de%20programmation%20logique
Fiche 15, Espagnol
Fiche 15, Justifications, Espagnol
Fiche 16 - données d’organisme interne 1985-12-02
Fiche 16, Anglais
Fiche 16, Subject field(s)
- Artificial Intelligence
Fiche 16, La vedette principale, Anglais
- predicate logic programming
1, fiche 16, Anglais, predicate%20logic%20programming
correct
Fiche 16, Les abréviations, Anglais
Fiche 16, Les synonymes, Anglais
Fiche 16, Français
Fiche 16, Domaine(s)
- Intelligence artificielle
Fiche 16, La vedette principale, Français
- programmation à logique des prédicats
1, fiche 16, Français, programmation%20%C3%A0%20logique%20des%20pr%C3%A9dicats
proposition
Fiche 16, Les abréviations, Français
Fiche 16, Les synonymes, Français
Fiche 16, Justifications, Français
Fiche 16, Espagnol
Fiche 16, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2025
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :