It is the fruit of logical programming whose origins stem from rationality.
The first one is based on the notion of decision diagrams, which is classical data structure used for circuit verification~; the second approach we propose relies on recent techniques from logical programming.
La première est basée sur la notion de diagramme de décision, qui est une structure de données utilisée pour la vérification des circuits ; la deuxième fait appel à des techniques récentes de programmation logique.
A logical programming extension for JS.
PHP Magic is a development and integration tool based on the concept of metadata and logical programming.
PHP Magic est un outil de développement et d'intégration qui est basée sur le principe des métadonnées et la programmation logique.
The I-Dial and Elite ranges, including 24 Vac and 9 VDC indoor and outdoor versions, were launched in 2015 with surprising success due to a very simple and logical programming system.
Les gammes I-Dial et Elite, avec des versions intérieures et extérieures, fonctionnant en 24 V alternatif, 9 V continu, ont été lancées en 2015 avec un succès surprenant grâce à un système de programmation logique et très simple.
He starts his professional life doing logical programming within one of the main... Research
Il a débuté sa carrière en faisant de la programmation logique chez un... Recherche
Visual Prolog is a logical programming language that counts PDC Prolog and Turbo Prolog as predecessors.
Visual Prolog est un langage de programmation logique qui compte PDC Prolog et Turbo Prolog comme les prédécesseurs.
1973 Advanced Logical Programming Environments (ALPES)
Environnements avancés pour la programmation Logique (ALPES)
This combines my passion to share the gospel, my interest in art, and the logical programming skills I've picked up along the way.
These units of evaluation are the smallest logical programming units that could be reasonably subject to an individual evaluation.
Ces unités d'évaluation sont les plus petites unités logiques de programme pouvant raisonnablement faire l'objet d'une évaluation individuelle.
said system comprises instrumentation components (hardware), logical programming components (software) and a set of detection elements formed by a number of photodetectors placed on the sole of the sports shoe
ledit système comprend des composants d'instrumentation (matériel), des composants logiques de programmation (logiciel), et un ensemble d'éléments de détection formés de photodétecteurs placés dans la semelle de la chaussure de sport
Imperative and logical programming language.
A high-order programming language system should have language means which allow reliable and purely logical programming of a locally transparent communication between parallel programmes.
Un système de langages de programmation en langage évolué doit comporter des moyens de langage permettant d'effectuer la programmation fiable et purement logique d'une communication localement transparente entre des programmes fonctionnant en parallèle.