Logic Programming
Subtitle: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science)
Edition: New Ed edition
Publisher: Cambridge University Press
Published: August 19, 2004
Language: eng
Format: Paperback
Number of pages: 116
ISBN-13: 9780521607544
Subjects: Computer Programming; Mathematical theory of computation; Programming - Software Development; Computers - General Information; Computer Books: General; Computer Books: Languages; Computers; General; Computers / Programming / Software Development; Logic programming
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.