<?xml version="1.0" standalone="yes"?>
<Paper uid="C88-1024">
  <Title>A NEW DESIGN OF PROLOG-BASED BOTTOM-UP PARSING SYSTEM WITH GOVERNMENT.BINDING THEORY</Title>
  <Section position="6" start_page="115" end_page="115" type="concl">
    <SectionTitle>
4. Conclusion
</SectionTitle>
    <Paragraph position="0"> This paper addresses the problems of movement transformation in Prolog-based bottom-up parser. Three principles of Government-Binding theory are considered to deal with these problems. They are Empty Category Principle, C-comr0and Principle and Subjacency Principle. A sequence of translation rules is given to add these linguistic principles to the general grammar rules, the leftward movement grammar rules, and the rightward movements grammar rules respectively. The empty constituent problem is solved in this paper to allow the trace to be the first element in the grammar rule body. A special data structure for extraposition list is proposed to transfer the movement information from the bottom to the top. Based upon this structure, the fastest merge algorithm is designed. Those unnecessary merge predicates can be eliminated with the help of transitive relation. Thus, the new design not only extends the original bottom-up parsing system with the movement facility, but also preserves the parsing efficiency.</Paragraph>
    <Paragraph position="1"> Appendix Based upon the translation algorithms specified in Section 3, the logic grammar GBLG1 is translated as below.</Paragraph>
    <Paragraph position="2"> The clause (ti) is the relevant translated result of the grammar rule (ri). Note the codes have been optimized. Those unnecessary merge operations are deleted from the translated results.</Paragraph>
    <Paragraph position="4"/>
    <Paragraph position="6"> v 1 bar(G,\[v 1 bar(TV,traceT(Traee))\], \[\[x(traeeT(Traee),Bound,left)lZ\],Z\],H,XI,X). (t16) w(G,\[TV\],X1,X) :v 1 bar(G,\[v 1 bar (TV,tr;aceR(Traee))\], \[\[x(traceR(Trace),Bound,right)lZ\],Z\],H,X 1 ,X). (t17) iv(G,\[IV\],X1,X) :- vlbar(G,\[vlbar(IV)\],\[Z,Z\],X1,X).</Paragraph>
  </Section>
class="xml-element"></Paper>