Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
logic programming language
Vertaling van "logic programming language" in Frans
langage de programmation logique
langage de programmation en logique
Absys was the first implementation of a logic programming language.
Absys été le premier mode de réalisation d'un langage de programmation logique.
The format of the syntactical representation resembles logic programming language clauses.
Le format de cette représentation syntaxique ressemble aux clauses de langage de programmation logique.
objects can be treated as logic terms in the logic programming language system
que les objets puissent être traités en tant que termes logiques dans le système de langage de programmation logique
SWI Prolog Portable is a general purpose logic programming language often used for artificial intelligence and computational...
SWI Prolog Portable est un langage de programmation logique d'usage général souvent utilisé pour l'intelligence artificielle et la linguistique...
Prolog, designed in 1972 by Colmerauer, Roussel, and Kowalski, was the first logic programming language.
Prolog (PROgrammation LOGique), défini en 1972 par Colmerauer, Roussel et Kowalski (en) est le premier langage de programmation logique.
We define the formal and concrete structure of a new logic programming language based on constraints on set domains, called conjunto.
Nous définissons la structure formelle et concrète d'un nouveau langage de programmation en logique par contraintes sur domaines ensemblistes, appelé conjunto.
This is a truly declarative logic programming language often used as a query language for deductive databases.
Ce langage de programmation utilise une vraie logique déclarative est souvent utilisé comme langage de requête pour les bases de données déductives.
In this work, we present a testing framework for the logic programming language Mercury able to generate and execute test suites that satisfy a given set of adequacy criteria.
Dans cet ouvrage, nous présentons une plate-forme de test pour le langage de programmation Mercury capable de générer et exécuter des suites de test satisfaisant un ensemble de critères d'adéquation.
To this end an augmented and adapted version of the logic programming language Golog i.e., sslGolog is presented as a natural formalism not only for reasoning about the latter links and laws, but also for automatically composing services.
Pour ceci, une version étendue et adaptée du langage de programmation logique Golog (ici sslGolog) est présentée comme un formalisme naturel non seulement pour le raisonnement sur les liens sémantiques et les lois causales, mais aussi pour composer automatiquement les services Web.
Abstract: The interaction nets system, which was introduced by Lafont, can be considered as a kind of logic programming language.
Résumé : Le système de réseaux d'interaction, qui a été présenté par Lafont, peut être considéré comme genre de langage de programmation en logique.
Alain Colmerauer, computer scientist and creator of the logic programming language Prolog.
Alain Colmerauer, initiateur du langage de programmation Prolog, diplômé Ensimag.
PathLP is a full logic programming language based on F-logic.
PathLP est un langage de programmation complet basé sur F-logic.
A more fruitful approach to logic was developed in the 1970s by Robert Kowalski at the University of Edinburgh, and soon this led to the collaboration with French researchers Alain Colmerauer and Philippe Roussel who created the successful logic programming language Prolog.
Une utilisation plus fructueuse de la logique a été développée dans les années 1970 par Alain Colmerauer et Philippe Roussel à l'université de Marseille-Luminy et Robert Kowalski à l'université d'Édimbourg qui ont créé le langage de programmation Prolog.
Synoniemen voor logic programming language in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 15. Exact: 15. Verstreken tijd: 36 ms.
