MTU Library Catalogue

Syndetics cover image
Image from Syndetics

Computing with logic : logic programming with Prolog / David Maier, David S. Warren.

By: Maier, David, 1953-.
Contributor(s): Warren, David S.
Material type: materialTypeLabelBookPublisher: Menlo Park, Calif. : Benjamin/Cummings Pub. Co, c1988Description: xxi, 535 p. : ill. ; 24 cm. + pbk.ISBN: 0805366814 .Subject(s): Prolog (Computer program language) | Logic programmingDDC classification: 005.133 MAI
Contents:
Part I: Proplog and Propositional Logic -- Part I: Introduction -- Computing with propositional logic -- Propositional logic -- Improving the proplog interpreter -- Part II: Datalog and Predicate Logic -- Part II: Introduction -- Computing with predicate logic -- Predicate logic -- Improving the datalog interpreter -- Part III: Prolog and Functional Logic -- Part III: Introduction -- Computing with functional logic -- Prolog evaluable predicates -- Functional logic -- Improving the prolog interpreter -- Interpreter optimizations and prolog compilation -- An example.
Holdings
Item type Current library Call number Copy number Status Barcode
General lending MTU Bishopstown Library Lending 005.133 MAI (Browse shelf(Opens below)) 1 Available 00183541
General lending MTU Bishopstown Library Lending 005.133 MAI (Browse shelf(Opens below)) 1 Available 00021361
Total holds: 0

Includes bibliographical references and index.

Part I: Proplog and Propositional Logic -- Part I: Introduction -- Computing with propositional logic -- Propositional logic -- Improving the proplog interpreter -- Part II: Datalog and Predicate Logic -- Part II: Introduction -- Computing with predicate logic -- Predicate logic -- Improving the datalog interpreter -- Part III: Prolog and Functional Logic -- Part III: Introduction -- Computing with functional logic -- Prolog evaluable predicates -- Functional logic -- Improving the prolog interpreter -- Interpreter optimizations and prolog compilation -- An example.