prolog-digital

prolog-digital - Prolog and Natural-Language Analysis D E...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Prolog and Natural-Language Analysis D E Prolog and Natural-Language Analysis Fernando C. N. Pereira and Stuart M. Shieber Microtome Publishing Brookline, Massachusetts c F. C. N. Pereira and S. M. Shieber 1987 Millenial reissue c F. C. N. Pereira and S. M. Shieber 2002 This work is the digital edition of Pereira and Shiebers Prolog and Natural-Language Analysis . The work is also available for sale in a hardbound edition (ISBN 0-9719997- 0-4), printed on acid-free paper with library binding and including all appendices and two indices, from Microtomes web site at www.mtome.com and other booksellers. This work is covered by copyright, which restricts the uses that you may make of the work. All rights are reserved by the copyright holder. The copyright holder hereby gives you permission to reproduce and distribute the digital edition of this work, in whole or in part, in digital or physical formats, under the following restrictions: You may not charge for copies of the work, with the exception of recovery of direct costs of reproduction for distribution of the work to students in courses. You may not modify the work, including elimination or modification of any embedded notifications. You must include title, author, copyright information, and this license in any reproductions; this latter requirement may be discharged by reproducing copies of the pertinent pages from the works front matter. This digital edition of Prolog and Natural-Language Analysis is distributed at no charge for noncommercial use by Microtome Publishing. Contents Preface ix 1 Introduction 1 1.1 Purpose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Logic Programming and Language . . . . . . . . . . . . . . . . . . . 1 1.3 Programming In Prolog . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.4 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.5 Bibliographic Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2 Database Prolog 9 2.1 Databases and Queries . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.1.1 A Simple Database . . . . . . . . . . . . . . . . . . . . . . . 9 2.1.2 Querying the Database . . . . . . . . . . . . . . . . . . . . . 10 2.2 Extending the Query Language . . . . . . . . . . . . . . . . . . . . . 11 2.3 The Logic of Prolog . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.4 The Operation of Database Prolog . . . . . . . . . . . . . . . . . . . 16 2.4.1 Proof Trees and Traces . . . . . . . . . . . . . . . . . . . . . 18 2.5 Recursive Predicate Definitions . . . . . . . . . . . . . . . . . . . . . 19 2.5.1 Variable Renaming . . . . . . . . . . . . . . . . . . . . . . . 21 2.5.2 Termination . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 2.6 Problem Section: Semantic Networks . . . . . . . . . . . . . . . . . 23 2.7 Context-Free Grammars . . . . . . . . . . . . . . . . . . . . . . . . 25 2.7.1 Axiomatizing Context-Free Grammars . . . . . . . . . . . . .Axiomatizing Context-Free Grammars ....
View Full Document

Page1 / 219

prolog-digital - Prolog and Natural-Language Analysis D E...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online