TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
INTERPRETEUR PROLOG [4 records]
Record 1 - internal organization data 2024-05-09
Record 1, English
Record 1, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Record 1, Main entry term, English
- Prolog interpreter
1, record 1, English, Prolog%20interpreter
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record 1, French
Record 1, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Record 1, Main entry term, French
- interpréteur Prolog
1, record 1, French, interpr%C3%A9teur%20Prolog
correct, masculine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
- interprète Prolog 2, record 1, French, interpr%C3%A8te%20Prolog
correct, masculine noun
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Est essentiellement un démonstrateur de théorème, c’est-à-dire un moteur d’inférence. Il permet à la fois de décrire et de résoudre des problèmes exprimés dans un formalisme simple. 3, record 1, French, - interpr%C3%A9teur%20Prolog
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 1994-10-26
Record 2, English
Record 2, Subject field(s)
- Software
Record 2, Main entry term, English
- software model
1, record 2, English, software%20model
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 CONT
The [interactive modelling] system supports a "learning by doing" pedagogical approach; it enables dynamic software models to be constructed of the hardware and software aspects of a computer system. 1, record 2, English, - software%20model
Record 2, French
Record 2, Domaine(s)
- Logiciels
Record 2, Main entry term, French
- maquette logicielle
1, record 2, French, maquette%20logicielle
feminine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record number: 2, Textual support number: 1 CONT
Une «maquette logicielle» d’un futur ordinateur personnel fonctionne déjà sur un ordinateur 2060 de la société(américaine) «Digital Equipment», en attendant que le matériel spécifique soit prêt(théoriquement en août). Le langage employé est une variante de Prolog, ce qui explique le choix d’une machine sur laquelle a été réalisé à l'université d’Édimbourg(Écosse) un excellent interpréteur de ce langage. 1, record 2, French, - maquette%20logicielle
Record 2, Spanish
Record 2, Textual support, Spanish
Record 3 - internal organization data 1989-12-11
Record 3, English
Record 3, Subject field(s)
- Artificial Intelligence
Record 3, Main entry term, English
- directly executable language
1, record 3, English, directly%20executable%20language
correct
Record 3, Abbreviations, English
- DEL 1, record 3, English, DEL
correct
Record 3, Synonyms, English
- interpreted language 2, record 3, English, interpreted%20language
correct
Record 3, Textual support, English
Record number: 3, Textual support number: 1 DEF
A language form in which the instructions to be interpreted lie in one-to-one correspondence with the actions called for in the high-level language program. 1, record 3, English, - directly%20executable%20language
Record 3, French
Record 3, Domaine(s)
- Intelligence artificielle
Record 3, Main entry term, French
- langage-micro-interpréteur
1, record 3, French, langage%2Dmicro%2Dinterpr%C3%A9teur
correct, masculine noun
Record 3, Abbreviations, French
Record 3, Synonyms, French
- langage machine intermédiaire 1, record 3, French, langage%20machine%20interm%C3%A9diaire
correct, masculine noun
- langage interprété 2, record 3, French, langage%20interpr%C3%A9t%C3%A9
correct, masculine noun
- langage directement interprété 1, record 3, French, langage%20directement%20interpr%C3%A9t%C3%A9
correct, masculine noun
Record 3, Textual support, French
Record number: 3, Textual support number: 1 DEF
Langage directement traduit par un interpréteur microprogrammé 1, record 3, French, - langage%2Dmicro%2Dinterpr%C3%A9teur
Record number: 3, Textual support number: 1 CONT
La qualité première de Lisp réside dans le fait que son interpréteur est écrit dans un langage machine intermédiaire, code de niveau facilement interprétable par l'ordinateur(...) Tout comme Lisp, Prolog est un langage interprété, ce qui permet la mise au point interactive des programmes. 1, record 3, French, - langage%2Dmicro%2Dinterpr%C3%A9teur
Record 3, Spanish
Record 3, Textual support, Spanish
Record 4 - internal organization data 1988-09-26
Record 4, English
Record 4, Subject field(s)
- Artificial Intelligence
Record 4, Main entry term, English
- predefined marker
1, record 4, English, predefined%20marker
correct
Record 4, Abbreviations, English
Record 4, Synonyms, English
Record 4, Textual support, English
Record number: 4, Textual support number: 1 CONT
Verbs or nouns may be used as case headers, and fillers for sub-concepts are identified in the input sentence by their association with predefined markers so that grammatical correctness is not a stringent requirement. 1, record 4, English, - predefined%20marker
Record 4, French
Record 4, Domaine(s)
- Intelligence artificielle
Record 4, Main entry term, French
- marqueur prédéfini
1, record 4, French, marqueur%20pr%C3%A9d%C3%A9fini
correct, masculine noun
Record 4, Abbreviations, French
Record 4, Synonyms, French
Record 4, Textual support, French
Record number: 4, Textual support number: 1 OBS
prédicat prédéfini : en langage Prolog, prédicat connu a priori par le programme interpréteur. D'autres prédicats ne le sont pas. Ce sont les prédicats définis par l'utilisateur. 2, record 4, French, - marqueur%20pr%C3%A9d%C3%A9fini
Record 4, Spanish
Record 4, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: