Logic Programming
Subtitle: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science)
Publisher: Cambridge University Press
Published: January 29, 1993
Language: eng
Format: Hardcover
Number of pages: 116
ISBN-13: 9780521432191
Subjects: Computer Programming; Mathematical theory of computation; Programming - General; Programming Language Semantics; Computers; Computer Bks - General Information; Semantics; Computer Books: General; Programming languages (Electronic computers); Computers / Programming / Software Development; General; Automatic theorem proving; Logic programming; Programming languages (Electro
First sentence: The quest for programming languages which are more readable and expressive has led to many developments in programming languages, one of which is the logic programming paradigm.