Amazon cover image
Image from Amazon.com

The Practice of Prolog / edited by Leon S. Sterling.

Contributor(s): Material type: TextSeries: Logic programmingPublication details: Cambridge, Mass. : MIT Press, c1990.Description: 312 p. : ill. ; 24 cmISBN:
  • 0262193019
ISSN:
  • 9780262193016
Subject(s): LOC classification:
  • QA76.73.P76 .P73
Contents:
1. Prototyping databases in Prolog / T. Kazic [and others] -- 2. PREDITOR : a Prolog-based VLSI editor / Peter B. Reintjes -- 3. Assisting register transfer level hardware design : a Prolog application / Paul J. Drongowski -- 4. Developing a portable parallelizing Pascal compiler in Prolog / Eran Gabber -- 5. ProMiX : a Prolog partial evaluation system / Arun Lakhotia and Leon Sterling -- 6. Generating natural language explanations from plans / Chris Mellish -- 7. A simple learning program / Richard O'Keefe -- 8. Stream data analysis in Prolog / D. Stott Parker --
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Books Methodist University Library Main General Stacks Reference QA76.73.P76 .P73 (Browse shelf(Opens below)) Available 27989

1. Prototyping databases in Prolog / T. Kazic [and others] --
2. PREDITOR : a Prolog-based VLSI editor / Peter B. Reintjes --
3. Assisting register transfer level hardware design : a Prolog application / Paul J. Drongowski --
4. Developing a portable parallelizing Pascal compiler in Prolog / Eran Gabber --
5. ProMiX : a Prolog partial evaluation system / Arun Lakhotia and Leon Sterling --
6. Generating natural language explanations from plans / Chris Mellish --
7. A simple learning program / Richard O'Keefe --
8. Stream data analysis in Prolog / D. Stott Parker --

There are no comments on this title.

to post a comment.
Share
Copyright © 2026  MUG Library