From Logic Programming to Prolog (Prentice-hall International Series in Computer Science)

Apt Krzysztof, R.:

ISBN 10: 013230368X / ISBN 13: 9780132303682

Published by Pearson Education Limited, 1997

About this Item

328 Seiten; M25-07-O-20-VG Sprache: Deutsch Gewicht in Gramm: 1.

Seller Inventory # 35297

Bibliographic Details

• Title: From Logic Programming to Prolog (Prentice-hall International Series in Computer Science)
• Publisher: Pearson Education Limited
• Publication Date: 1997
• Language: German
• ISBN 10: 013230368X
• ISBN 13: 9780132303682
• Binding: textbook
• Condition: Sehr gut
• Seller catalogs:
  • Varia

About this title

Synopsis

A unique publication that provides an introduction to the theory of logic programming and its application to Prolog programs. Covers programming issues such as termination, occur-check freedom, partial correctness and absence of runtime errors. Paper. DLC: Logic programming.