Programming with Higher-Order Logic (Anglais) Relié – 11 juin 2012
|Neuf à partir de||Occasion à partir de|
Les clients ayant acheté cet article ont également acheté
Descriptions du produit
Revue de presse
Biographie de l'auteur
Gopalan Nadathur is Professor of Computer Science at the University of Minnesota. He has previously held faculty appointments at Duke University, the University of Chicago and Loyola University Chicago. Nadathur's research interests span the areas of computational logic, programming languages and logic programming. His work has been regularly funded by the National Science Foundation and has appeared in publications such as the Journal of the Association of Computing Machinery, Information and Computation, Logic and Computation, the Journal of Automated Reasoning and Theory and Practice of Logic Programming.
Aucun appareil Kindle n'est requis. Téléchargez l'une des applis Kindle gratuites et commencez à lire les livres Kindle sur votre smartphone, tablette ou ordinateur.
Pour obtenir l'appli gratuite, saisissez votre adresse e-mail ou numéro de téléphone mobile.
Détails sur le produit
En savoir plus sur l'auteur
Dans ce livre(En savoir plus)
Commentaires en ligne
Commentaires client les plus utiles sur Amazon.com (beta)
language. Practically speaking, Lambda Prolog allows one to concisely
specify the rules of a logic or language and then animate those rules
and experiment with the resulting system. The power of Lambda Prolog
comes from using higher-order terms and higher-order rules, thus
avoiding the overhead of issues like name binding and scoping which
typically plague implementations.
This book builds up the ideas behind Lambda Prolog progressively
starting with traditional Prolog (presented as a logic) and then
adding in more powerful features. By the end, readers are able to
implement a proof system, a programming language, and a process
calculus each with a surprisingly short number of rules. Because the
representation is so compact and expressive, it is very easy to
experiment with modifying and extending the system.
My PhD thesis was in this area of work (in fact, Gopalan Nadathur was
my advisor). Although this book came after my time in graduate school,
I still learned a great deal from it. Being able to take a formal
system from a textbook or paper and quickly implement it provides an
immense opportunity for understanding system details. For that reason
I would recommend this book not only to students, but also to
researchers and practitioners in the logic and languages communities.