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

Segnala questo articolo

Dati bibliografici

Titolo: Foundations of Logic Programming (Symbolic ...

Casa editrice: Not Avail

Legatura: Rilegato

Condizione: Good

Descrizione articolo

Riassunto:

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 "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

With 3 stores less than 1 hour outside the DC/Metropolitan area (1 in Gaithersburg, 1 in Frederick and 1 in Hagerstown, MD), we have the largest selection of books in the tri-state area. Wonder Book and Video has been in business since 1980 and online since 1997. We have over 1 Million books for sale on our website and another 1 Million books for sale in our 3 locations. Items on Abe are not necessarily in stock at our retail locations. Please do not call the stores to place orders for Abe Books sales. We have a very active online inventory and as such, we can receive multiple orders for the same item. We fill those orders on a first come first serve basis, but will refund promptly any items that are out of stock. Since 1980 it has always been about the books. ALL kinds of books from 95 cent children's paperbacks to five figure rare and collectibles. A merging of the old and new is where we started, and it is where we are today. Our retail stores have always been places where a reader can rush in looking for a title needed for a term paper that is due the next day, or where bibliophiles can get lost "in the stacks" for as long as they wish. In 2002 USAToday recognized us as "1 of 10 Great Old Bookstores", and we have been featured in numerous other newspaper and TV stories including Washington Post and CSpan. Members ABAA, ILAB.

Visita la pagina della libreria

Membro dell'associazione

I librai membri di queste associazioni si distinguono per elevata competenza e professionalit�. Garantiscono l'autenticit� di tutti gli articoli messi in vendita. Forniscono descrizioni approfondite e dettagliate, rivelano tutti i difetti e / o restauri rilevanti, forniscono prezzi chiari e precisi e operano con correttezza e onest� durante l'esperienza di acquisto.

Informazioni sull?azienda del venditore

Wonder Book
Wonder Book and Video, 1550 Tilco Drive, Frederick, MD, 21704, U.S.A.

Condizioni di vendita:

We want you to be satisfied with the book you order. Our general description is
conservative and the book should be as good or better than our general
description
may indicate.

As we often get many requests for the same book, in some cases the book may
already be sold. We will email you regarding the availability.

RETURNS are cheerfully accepted up to 30 days. We ship out within 1-2 business
days and U.S. Standard Shipments usually arrive within 6-9 business days,
Priority 3-6. We want you to be...

Ulteriori informazioni

Condizioni di spedizione:

STANDARD DOMESTIC U.S. SHIPPING IS FREE. Priority Shipping is only $6.99 for first item, $1 each additional. Orders ship within 2 business days. Shipping outside of U.S. is typically between $8-13 and takes between 8-15 business days. Heavier books may require additional shipping. Faster Needs Please Inquire.

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata

Articoli correlati a Foundations of Logic Programming (Symbolic Computation...

Foundations of Logic Programming (Symbolic Computation / Artificial Intelligence)

Lloyd, J. W.

Usato - Rilegato

Informazioni sull?azienda del venditore