C80-1051 grammar is an ordinary part of a Prolog program . It defines a language as well
C02-1128 auxiliary predicates : a pure Prolog program is equivalent to a DCG generating
C92-3140 ( D , R ) The top call of the Prolog program produced by tim translator is
C92-3140 well-formedness and the associated Prolog program . 2 . PARTIAL SYNTHESIS FOR GUIDED
C92-3140 coroutining process and the associated Prolog program . 1 . INTRODUCTION The objective
C90-2055 the lexicon are compiled into a Prolog program . Unification which is a basic
C92-3140 PROGRAM The reversibility of certain Prolog programs is well known . So , in order
C92-3140 , R ) . We have the following Prolog program : well formed ( S ) : - list
C92-3140 Semantic rules I I I $ Translator $ Prolog Program : ~ entence ( D , R ) The top
C88-2136 clauses are then translated into a Prolog program ( Figure 4 ) by the DCG translator
C92-3140 composition . Finally , The core Prolog program ensuring that a sentence is well-formed
C04-1203 earlier , question words have small Prolog programs corresponding to them . The answer
A83-1020 implementation on EMAS allows large PROLOG programs to be run . The interpretive
C90-2060 arguments in any given literal in a PROLOG program , as required by the inversion
C92-3140 time of the ILLICO interface is a Prolog program . Lexical rules ( the lexicon
A00-1001 ( BusLOG ) which is actually a Prolog program . This is done by a production
C86-1142 defined in a CFG or a DCG into a Prolog program which functions as a word predictor
C88-2136 necessary for bottom up parsing , this Prolog program can parse the input string with
C92-3140 semantic rules are translated into a Prolog program according to the following schema
C86-1027 well-formedness . ) The high ~ level Prolog program for this stage is given below
hide detail