Vertaling van "logic programming system " (Engels → Frans) :

TERMINOLOGIE

logic programming system
système de programmation logique

wired-logic exchange | wired-logic switching system | wired-logic system
système à commande par logique câblée | système à logique câblée

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 | logical programming
programmation logique

use logic programming
utiliser la programmation logique

program logic | program strategy
stratégie d'intervention

IN-CONTEXT TRANSLATIONS

The function of a computer program is to communicate and work together with other components of a computer system and with users and, for this purpose, a logical and, where appropriate, physical interconnection and interaction is required to permit all elements of software and hardware to work with other software and hardware and with users in all the ways in which they are intended to function.
Un programme d'ordinateur est appelé à communiquer et à fonctionner avec d'autres éléments d'un système informatique et avec des utilisateurs; à cet effet, un lien logique et, le cas échéant, physique d'interconnexion et d'interaction est nécessaire dans le but de permettre le plein fonctionnement de tous les éléments du logiciel et du matériel avec d'autres logiciels et matériels ainsi qu'avec les utilisateurs.

So it's completely within the context of the program, and I believe it's logical, when you consider the fact that you have to start the program and often on a program of this complexity, with new aircraft systems, it is difficult getting them up and running at the beginning (1610) The Chair: Excuse me, Mr. Desrochers.
Tout s'est donc passé conformément au programme et cela m'apparaît tout à fait logique puisqu'il fallait démarrer le programme et que, comme c'est souvent le cas lorsqu'il s'agit d'un programme complexe et de nouveaux systèmes aéronautiques, le démarrage a été difficile (1610) Le président: Excusez-moi, monsieur Desrochers.

Whereas the function of a computer program is to communicate and work together with other components of a computer system and with users and, for this purpose, a logical and, where appropriate, physical interconnection and interaction is required to permit all elements of software and hardware to work with other software and hardware and with users in all the ways in which they are intended to function;
considérant qu'un programme d'ordinateur est appelé à communiquer et à opérer avec d'autres éléments d'un système informatique et avec des utilisateurs; que, à cet effet, un lien logique et, le cas échéant, physique d'interconnexion et d'interaction est nécessaire dans le but de permettre le plein fonctionnement de tous les éléments du logiciel et du matériel avec d'autres logiciels et matériels ainsi qu'avec les utilisateurs;

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.

What is the logic in this government implementing new post-secondary education programs when, as we know, the cream of our young achievers trained at public expense in our universities leave Canada for the United States or another country because the tax system is better than in Canada?
Est-ce qu'il est logique que ce gouvernement veuille instaurer de nouveaux programmes en matière d'éducation supérieure lorsque l'on sait que nos meilleurs jeunes talents, formés dans nos universités à l'aide des fonds des contribuables, s'expatrient aux États-Unis ou ailleurs à cause d'un régime fiscal canadien inadéquat?

What is the logic in this government implementing new postsecondary education programs when, as we know, the cream of our young achievers university-trained at public expense are leaving for the United States or other countries because the Canadian tax system is inadequate?
Est-il logique que ce gouvernement veuille instaurer de nouveaux programmes en matière d'éducation supérieure, lorsqu'on sait que nos meilleurs jeunes talents, formés dans nos universités à l'aide des fonds des contribuables, s'expatrient aux États-Unis ou ailleurs à cause d'un régime fiscal canadien inadéquat?