by Christopher John Hogger (Author)
Presents the fundamentals of logic programming from both practical and theoretical viewpoints, covering various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation.
Format: Paperback
Pages: 312
Publisher: Oxford University Press, U.S.A.
Published: 07 Oct 2004
ISBN 10: 0198538324
ISBN 13: 9780198538325