Vendeur : liu xing, Nanjing, JS, Chine
paperback. Etat : New. Paperback. Pub Date: 2021-11-01 Pages: 192 Language: Chinese Publisher: Machinery Industry Press This book uses an innovative model theory for logic programming. starting with the basic concept of a data set (ie. a closed atom set).?Along this basic concept. we introduce views (ie virtual relationships); we define classic logic programs as view definition sets. which are written in a traditional Prolog-like notation. but the semantics are based on the data set rather than the implementation m. N° de réf. du vendeur NW025234
Quantité disponible : 3 disponible(s)