Articoli correlati a Foundations of Logic Programming

Foundations of Logic Programming - Rilegato

 
9783540132998: Foundations of Logic Programming

Sinossi

This book gives an account oC the mathematical Coundations oC logic programming. I have attempted to make the book selC-contained by including prooCs of almost all the results needed. The only prerequisites are some Camiliarity with a logic programming language, such as PROLOG, and a certain mathematical maturity. For example, the reader should be Camiliar with induction arguments and be comCortable manipulating logical expressions. Also the last chapter assumes some acquaintance with the elementary aspects of metric spaces, especially properties oC continuous mappings and compact spaces. Chapter 1 presents the declarative aspects of logic programming. This chapter contains the basic material Crom first order logic and fixpoint theory which will be required. The main concepts discussed here are those oC a logic program, model, correct answer substitution and fixpoint. Also the unification algorithm is discussed in some detail. Chapter 2 is concerned with the procedural semantics oC logic programs. The declarative concepts are implemented by means oC a specialized Corm oC resolution, called SLD-resolution. The main results of this chapter concern the soundness and completeness oC SLD-resolution and the independence oC the computation rule. We also discuss the implications of omitting the occur check from PROLOG implementations. Chapter 3 discusses negation. Current PROLOG systems implement a form of negation by means of the negation as failure rule. The main results of this chapter are the soundness and completeness oC the negation as failure rule.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione1984
  • ISBN 10 3540132996
  • ISBN 13 9783540132998
  • RilegaturaCopertina rigida
  • LinguaInglese
  • Numero edizione1
  • Contatto del produttorenon disponibile

Compra usato

Condizioni: buono
Good condition. A copy that has...
Visualizza questo articolo

EUR 21,72 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

Risultati della ricerca per Foundations of Logic Programming

Foto dell'editore

Lloyd, J. W.
Editore: Not Avail
ISBN 10: 3540132996 ISBN 13: 9783540132998
Antico o usato Rilegato

Da: Wonder Book, Frederick, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains. Codice articolo T07C-02947

Contatta il venditore

Compra usato

EUR 8,23
Convertire valuta
Spese di spedizione: EUR 21,72
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Lloyd, J. W.
Editore: Not Avail, 1984
ISBN 10: 3540132996 ISBN 13: 9783540132998
Antico o usato Rilegato

Da: Ammareal, Morangis, Francia

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1984. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1984. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-597-695

Contatta il venditore

Compra usato

EUR 32,88
Convertire valuta
Spese di spedizione: EUR 8,00
Da: Francia a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello