Articoli correlati a The Godel Programming Language
Sinossi
Godel is a new, general-purpose, declarative programming language that is based on the paradigm of logic programming and can be regarded as a successor to Prolog. This book gives a tutorial overview of Godel, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic.
The Godel language supports types and modules. It has a rich collection of system modules and provides constraint solving in several domains. It also offers metalogical facilities that provide significant support for metaprograms that do analysis, transformation, compilation, verification, debugging, and the like. The declarative nature of Godel makes it well suited for use as a teaching language, narrows the gap that currently exists between theory and practice in logic programming, makes possible advanced software engineering tools such as declarative debuggers and compiler generators, reduces the effort involved in providing a parallel implementation of the language, and offers substantial scope for parallelization in such implementations.
Logic Programming series
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Hill Patricia Lloyd John
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreMit Pr
- Data di pubblicazione1994
- ISBN 10 0262082292
- ISBN 13 9780262082297
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine368
Risultati della ricerca per The Godel Programming Language
Foto dell'editore
The Gödel Programming Language (Logic Programming)
Da: Gulf Coast Books, Memphis, TN, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Good. Codice articolo 0262082292-3-33669461
Quantità: 1 disponibili
Foto dell'editore
The Godel Programming Language (Logic Programming)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Fine. *Price HAS BEEN REDUCED by 10% until Monday, May 12 (weekend sale item)* First edition, first printing, 348 pp., hardcover, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB1320825
Quantità: 1 disponibili
Foto dell'editore
The Gödel Programming Language (Logic Programming)
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_380289664
Quantità: 1 disponibili
Immagini fornite dal venditore
The Gödel Programming Language
Editore:
MIT Press, Cambridge, London, 1994
ISBN 10: 0262082292
ISBN 13: 9780262082297
Antico o usato
Rilegato
Da: Antiquariat Torsten Bernhardt eK, Hamburg, Germania
Valutazione del venditore 4 su 5 stelle
fester Pappband. Condizione: guter Zustand. 350 S., Pp., GR. 8° (23,5 cm) Sprache: eng. Codice articolo 11573
Quantità: 1 disponibili
Foto dell'editore
The Gödel Programming Language (Logic Programming)
Editore:
The MIT Press, 1994
ISBN 10: 0262082292
ISBN 13: 9780262082297
Antico o usato
Rilegato
Prima edizione
Da: Corner of a Foreign Field, Tokyo, TOKYO, Giappone
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. 1st Edition. 1994.Hardcover.Very good condition.350 pages.Ships from Japan.Usually ships in 1-2 working days. Codice articolo 12911
Quantità: 1 disponibili