00000nam 2200000zi 4500 9.873023 CaOODSP 20221107163810 m o d f cr |n||||||||| 190515e198811##quca|||#ob f000 0 eng d 066216931X CaOODSP eng rda CaOODSP n-cn--- Co28-1/28-1988E-PDF Co28-1/28-1988E Dymetman, Marc‏, author. Reversible logic grammars for machine translation / Marc Dymetman, Pierre Isabelle. Laval : Canadian Workplace Automation Research Centre, Department of Communications Canada, November 1988. 1 online resource (33 pages) : figures text txt rdacontent computer c rdamedia online resource cr rdacarrier Issued also in French under title: Grammaires logiques réversibles pour la traduction automatique. Digitized edition from print [produced by Innovation, Science and Economic Development Canada]. Includes bibliographical references, pages 32-33. "The CRITTER translation system makes use of a single grammar to perform analysis and synthesis tasks. The formalism used is a variant of DCG (Definite Clause Grammars), in which annotations have been added to allow for dual compilations of the grammar into analysis and synthesis Prolog programs sharing the same declarative content. These annotations are of two types: 1) annotations separating the declarative content of rules (logic) from goal-processing order (control), and 2) annotations which act as directives for the compiler(s) to perform "optimization" transformations on groups of rules making the target Prolog procedures better adapted to the - analysis or synthesis - task at hand"--Abstract. gccst Translation gccst Software Isabelle, Pierre, author. Canada. Department of Communications. Canadian Workplace Automation Research Centre‏. Grammaires logiques réversibles pour la traduction automatique / (CaOODSP)9.873025 PDF 3.21 MB https://publications.gc.ca/collections/collection_2019/isde-ised/co28-1/Co28-1-28-1988-eng.pdf