TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

LOGIC PROGRAMMING LANGUAGE [6 fiches]

Filtrer les résultats par domaine Liste alphabétique des termes

Filtrer les résultats par domaine

Liste alphabétique des termes

Fiche 1 2024-05-09

Anglais

Subject field(s)
  • Computer Programs and Programming
  • Artificial Intelligence
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.

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.

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.

OBS

logic programming: term standardized by ISO and CSA.

Français

Domaine(s)
  • Programmes et programmation (Informatique)
  • Intelligence artificielle
DEF

Programmation basée sur la logique propositionnelle, la logique des prédicats, ou une extension de celles-ci.

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.

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).

OBS

programmation en logique; programmation logique : termes normalisés par l'ISO et la CSA.

Espagnol

Campo(s) temático(s)
  • Programas y programación (Informática)
  • Inteligencia artificial
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.

Conserver la fiche 1

Fiche 2 2010-07-21

Anglais

Subject field(s)
  • Programming Languages
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.

Français

Domaine(s)
  • Langages de programmation
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.

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.

Espagnol

Conserver la fiche 2

Fiche 3 2002-10-08

Anglais

Subject field(s)
  • Programming Languages
  • Artificial Intelligence
DEF

A symbolic or AI programming language based on predicate calculus.

OBS

PROLOG is the most popular language for AI research outside of North America.

OBS

PROgramming in LOGic. An AI programming language that is especially popular in Europe and In Japan.

Français

Domaine(s)
  • Langages de programmation
  • Intelligence artificielle
DEF

Langage de programmation logique qui permet, à la façon des systèmes experts, de résoudre les problèmes par inférence à partir de règles.

CONT

Prolog contient en quelque sorte le noyau d'un (certain type de) système expert.

Espagnol

Campo(s) temático(s)
  • Lenguaje de programación
  • Inteligencia artificial
DEF

Lenguaje de programación de alto nivel basado en la lógica usado en el campo de la inteligencia artificial.

CONT

PROLOG está diseñado para manipular el conocimiento en vez de números. Lo que distingue a PROLOG de otros lenguajes más tradicionales orientados hacia la programación es que cada línea de PROLOG incluye tanto las instrucciones como los datos que deben ser procesados por la computadora (ordenador). Fue desarrollado por Alain Colmerauer de la Universidad de Marsella (Francia).

Conserver la fiche 3

Fiche 4 1989-01-31

Anglais

Subject field(s)
  • Artificial Intelligence
  • Programming Languages
DEF

Language that attempts to integrate input/output better with the logic programming model, by identifying the input/output streams of devices with the logical streams in the language.

Français

Domaine(s)
  • Intelligence artificielle
  • Langages de programmation

Espagnol

Conserver la fiche 4

Fiche 5 1986-05-13

Anglais

Subject field(s)
  • Computer Programs and Programming
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.

Français

Domaine(s)
  • Programmes et programmation (Informatique)
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.

Espagnol

Conserver la fiche 5

Fiche 6 1985-03-26

Anglais

Subject field(s)
  • Codes (Software)
CONT

It is desirable to have high-level languages, unlike programming languages, with which we can express requirements and specifications. The early versions of such languages... were not computable. This book describes such a language which is computable. Its statements are successively refined until program code can be automatically generated. It is mathematically based so that it produces bug-free and consistent logic.

Français

Domaine(s)
  • Codes (Logiciels)
OBS

prouvable : qu'il est possible de prouver.

Espagnol

Conserver la fiche 6

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

Options d’affichage

Changer l'ordre d'affichage des langues officielles du Canada
Affichage des langues non officielles (l'espagnol ou le portugais)
Affichage des définitions, contextes, etc. dans les fiches

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 :