Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
language prolog
Vertaling van "language prolog" in Frans
langage Prolog
An important step was to re-write the programming language Prolog for the computers at our disposal.
Une des étapes importantes était la ré-écriture du langage Prolog pour les ordinateurs que nous avions.
We eventually decided to base our project of astrological expert system on the language Prolog.
Nous avons éventuellement décidé d'utiliser le langage Prolog pour notre projet de système expert en astrologie.
Therefore, systems based on functional languages such as Lisp need to include a subsystem to represent logical assertions, while logic-oriented systems such as those using the language Prolog generally rely on an extension of the built-in logical representation framework.
Par conséquent, les systèmes basés sur des langages fonctionnels tels que Lisp doivent inclure un sous-système pour représenter les assertions logiques, tandis que les systèmes orientés logique tels que ceux utilisant le langage Prolog reposent généralement sur une extension du cadre de représentation logique intégré,.
Resolution and unification have since been incorporated in many automated theorem-proving systems and are the basis for the inference mechanisms used in logic programming and the programming language Prolog.
La résolution et l'unification sont depuis incorporées dans de nombreux systèmes automatiques de démonstration de théorèmes et sont à la base des mécanismes d'inférence utilisés dans la programmation logique et des langages de programmation comme Prolog. Distinctions
Alain Colmerauer, computer scientist and creator of the logic programming language Prolog.
Alain Colmerauer, initiateur du langage de programmation Prolog, diplômé Ensimag.
I learnt the relevant programming languages: at first Lisp, at Zürich University, then the language Prolog at the ETH.
J'ai appris les langages de programmation pertinents: d'abord, Lisp, à l'université de Zurich, puis Prolog à ETH.
The relations between DCG, DCG', and lambda-HHG, and Prolog and LambdaProlog can be summarized as follows: (1) The language Prolog, the DCG formalism, and the translation of DCG into Prolog by Prolog are classical.
Les relations entre DCG, DCG', et lambda-HHG, d'une part, et entre Prolog et LambdaProlog, d'autre part, peuvent être résumées de la manière suivante. (1) Prolog, DCG et la traduction de DCG en Prolog sont classiques.
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 language prolog in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 26 ms.
