Traduction de «Use logic programming » (Anglais → Français) :

TERMINOLOGIE

use logic programming
utiliser la programmation logique

wired logic program | wired logic programme
programme à logique câblée

logical programming environment [ logic programming environment ]
environnement de programmation logique

ladder logic programming language [ LAD | ladder logic | ladder programming language ]
langage schéma à contacts [ langage de programmation en logique à relais | langage de programmation ladder | logique ladder ]

constraint logic programming | constraint-logic programming
programmation logique par contraintes

logic programming system
système de programmation logique

logic programming
programmation logique

constraint logic programming
programmation logique de contraintes [ programmation logique par contraintes ]

use logical thinking | utilise logical thinking | apply local reasoning to problems | use logical reasoning
faire preuve de raisonnement logique

use automatic programming | use visual programming
utiliser un AGL | utiliser un atelier de génie logiciel | utiliser des outils CASE | utiliser la programmation automatique

TRADUCTIONS EN CONTEXTE

I would like to know what kind of logic the government is using to conclude that it cannot afford to reduce taxes, yet it found the money to spend on this new program.
J'aimerais savoir en vertu de quelle logique le gouvernement dit ne pas avoir d'argent pour réduire les impôts. Pourtant, il a trouvé de l'argent pour dépenser dans le nouveau programme.

Of course, there is also the option here in Ottawa, with a rail line that goes close to the terminal, that we can use the same program, or the same logic or policy, if you will, to assist the airport there.
Bien sûr, il y a aussi l'option d'Ottawa, avec une voie ferrée qui passe à proximité du terminal, ce qui nous permettrait d'appliquer le même programme, ou la même politique, si vous voulez, pour aider cet aéroport.

Imagine the backlash that would occur if that program were instituted, despite the fact that this hypothetical scenario would be based entirely on the exact same logic that the proponents of employment equity use.
Imaginez le ressac qui se produirait si ce programme était mis en place. Pourtant, ce scénario hypothétique serait fondé exactement sur la même logique que celle des défenseurs de l'équité en matière d'emploi.

As an example of work in the first of these areas, advantage was taken of Europe's strong position in Logic programming languages by producing state-of-the art versions of such languages to be used in knowledge based systems which is illustrated by the following examples which relate especially to the language Prolog: As a direct result of an ESPRIT project the Belgian Institute of Management has recently released BIM-Prolog, a computer based Prolog development system with a compiler producing code which executes faster than code produced by any other Prolog compiler in the world.
Comme exemple de travaux dans le premier de ces domaines, la forte position de l'Europe dans le secteur des langages de programmation logique a ete mise a profit pour produire des versions de ces langages, correspondant a l'etat de l'art, afin de les utiliser dans les systemes cognitifs. Ainsi, comme resultat immediat d'un projet ESPRIT, l'institut belge de gestion a recemment mis sur le marche un PROLOG BIM, systeme de developpement PROLOG a compilateur qui produit un code objets qui s'execute plus rapidement que le code objets produit par n'importe quel autre compilateur PROLOG disponible sur le marche mondial.

If we are to do logical reasoning — I loved the last sentence that you used — we only recently found out that, in fact, NORAD wasn't even part of the DPMS, the defence program management system, that it wasn't even initiating its own requirements, let alone who would initiate the operational deficiency that would have to be met by a ballistic missile system.
Si nous réfléchissons logiquement — et j'aime bien votre dernière phrase à ce sujet —, nous venons tout récemment de découvrir que, en fait, NORAD ne faisait même pas partie du SGPD, le Système de gestion du Programme de la Défense, que l'organisation n'établissait même pas ses propres exigences, et qu'elle avait encore moins statué sur une supposée déficience opérationnelle que l'on pourrait combler en mettant sur pied un système de défense antimissile balistiques.