The Gödel Programming Language |
|
| Author:
| Hill, Patricia
Lloyd, John |
| Editor:
| Shapiro, Ehud |
| Series title: | Logic Programming Ser. |
| ISBN: | 978-0-262-08229-7 |
| Publication Date: | Apr 1994 |
| Publisher: | MIT Press
|
| Book Format: | Hardback |
| List Price: | USD $70.00 |
Book Description:
|
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.
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.