Introduction to logic programming
Auteur :
Genesereth, Michael / Chaudhri, Vinay K.
Éditeur :
Springer International Publishing AG
ISBN :
9783031004582
Date de publication :
10 févr. 2020
Dimensions :
23,5 x 19,1 cm
Langue :
Anglais
Pays d'origine :
Suisse
Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. and we define classical logic programs as sets of view definitions, written using traditional Prolog-like notation but with semantics given in terms of datasets rather than implementation.