TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, 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 1, Anglais, - logic%20programming%20language

Fiche 1,  Justifications,  Français

Record number: 1, 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 1, Français, - langage%20de%20programmation%20logique

Fiche 1,  Justifications,  Espagnol