Logic Grammars

  • Harvey Abramson
  • Veronica Dahl

Part of the Symbolic Computation book series (SYMBOLIC)

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Introduction and Historic Overview

    1. Harvey Abramson, Veronica Dahl
      Pages 1-4
  3. Grammars for Formal Languages and Linguistics Research

    1. Harvey Abramson, Veronica Dahl
      Pages 5-15
    2. Harvey Abramson, Veronica Dahl
      Pages 17-22
    3. Back Matter
      Pages 23-23
  4. Getting Started: How to Write a Simple Logic Grammar

    1. Harvey Abramson, Veronica Dahl
      Pages 25-41
    2. Harvey Abramson, Veronica Dahl
      Pages 43-59
    3. Harvey Abramson, Veronica Dahl
      Pages 61-74
    4. Back Matter
      Pages 75-76
  5. Different Types of Logic Grammars — What Each Is Useful For

    1. Harvey Abramson, Veronica Dahl
      Pages 77-83
    2. Harvey Abramson, Veronica Dahl
      Pages 85-90
    3. Harvey Abramson, Veronica Dahl
      Pages 91-94
    4. Harvey Abramson, Veronica Dahl
      Pages 95-142
    5. Harvey Abramson, Veronica Dahl
      Pages 143-159
    6. Back Matter
      Pages 161-163
  6. Other Applications

    1. Harvey Abramson, Veronica Dahl
      Pages 165-169
    2. Harvey Abramson, Veronica Dahl
      Pages 171-175
    3. Back Matter
      Pages 177-177
  7. Logic Grammars and Concurrency

    1. Harvey Abramson, Veronica Dahl
      Pages 179-193
    2. Back Matter
      Pages 195-195

About this book

Introduction

Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. This book introduces the main concepts involving natural and formal language processing in logic programming, and discusses typical problems which the reader may encounter, proposing various methods for solving them. The basic material is presented in depth; advanced material, involving new logic grammar formalisms and applications, is presented with a view towards breadth. Major sections of the book include: grammars for formal language and linguistic research, writing a simple logic grammar, different types of logic grammars, applications, and logic grammars and concurrency. This book is intended for those interested in logic programming, artificial intelligence, computational linguistics, Fifth Generation computing, formal languages and compiling techniques. It may be read profitably by upper-level undergraduates, post-graduate students, and active researchers on the above-named areas. Some familiarity with Prolog and logic programming would be helpful; the authors, however, briefly describe Prolog and its relation to logic grammars. After reading Logic Grammars, the reader will be able to cope with the ever-increasing literature of this new and exciting field.

Keywords

Prolog artificial intelligence computational linguistics grammar linguistics logic programming natural language

Authors and affiliations

  • Harvey Abramson
    • 1
  • Veronica Dahl
    • 2
  1. 1.Department of Computer ScienceUniversity of BristolBristolEngland
  2. 2.Department of Computer ScienceSimon Fraser UniversityBurnabyCanada

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4612-3640-5
  • Copyright Information Springer-Verlag New York 1989
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-8188-7
  • Online ISBN 978-1-4612-3640-5
  • About this book