Da: liu xing, Nanjing, JS, Cina
paperback. Condizione: 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. Codice articolo NW025234
Quantità: 3 disponibili