| 1. | In languages such as Prolog, mutual recursion is almost unavoidable.
Dans des langages comme Prolog, la récursion mutuelle est pratiquement inévitable. |
| 2. | Alain Colmerauer, computer scientist and creator of the logic programming language Prolog.
Alain Colmerauer, initiateur du langage de programmation Prolog, diplômé Ensimag. |
| 3. | It can be used to do syntactic or semantic translation.
On peut de là utiliser Prolog en vue de la traduction automatique ou semi-automatique. |
| 4. | Prolog demonstrated that alternative programming models are sometimes useful and highly productive.
Prolog a démontré que les paradigmes de programmation alternatifs sont parfois utiles et hautement productifs. |
| 5. | Logtalk's syntax is based on Prolog: ?- write('Hello world'), nl.
Logtalk est un langage de programmation logique, orienté objet, issu de Prolog. ?- write('Hello world'), nl. |
| 6. | It is very difficult to determine what are the most popular of modern programming languages.
L'unification est ce qui distingue le plus le langage de programmation Prolog des autres langages de programmation. |
| 7. | Every effort was made to ensure that a Prolog-style plug-in could be written for XL.
Tout a été fait pour s'assurer qu'un plugin dans le style de Prolog puisse être écrit pour XL. |
| 8. | 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. |
| 9. | Programming languages such as Prolog, Knowledge Machine and ECLiPSe support backward chaining within their inference engines.
Les langages de programmation tels que Prolog, Knowledge Machine et ECLiPSe soutiennent le chaînage arrière au sein des moteurs d'inférence. |
| 10. | Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog.
C'est une caractéristique importante de la programmation logique depuis les origines de Planner et de Prolog. |
