Hogger,
Christopher John Hogger
Essentials of Logic Programming
Paperback Engels 1990 9780198538325Levertijd ongeveer 11 werkdagen
Gratis verzonden
Samenvatting
Logic programming has developed into a broad discipline within computing science. Besides its basic role as a declarative programming language, it is also contributing significantly to other specialized fields.
This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation.
Specificaties
ISBN13:9780198538325
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:310
Uitgever:Clarendon Press
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Preface; Acknowledgements; Background (Themes 1-4); Overview (Themes 5-8); First-order logic (Themes 9-13); Clausal-form logic (Themes 14-18); Problem solving (Themes 19-22); The Herbrand domain (Themes 23-25); Resolution (Themes 26-30); Programming with SLD-resolution (Themes 31-39); Semantics of definite programs (Themes 40-47); Transforming and completing programs (Themes 48-53); Programming with finite failure (Themes 54-58); Verifying programs (Themes 59-60); Answers to exercises; Index.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan