Essentials of logic programming
Auteur :
Hogger
Éditeur :
Oxford University Press
ISBN :
9780198538325
Date de publication :
20 déc. 1990
Dimensions :
23,2 x 15,4 x 1,8 cm
Poids :
475 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.