Isbn: 9787111691815 - 逻辑编程导论 [美]迈克尔·吉内塞雷斯(michaelgenesereth),[美]维奈·k.乔杜里(vinayk.chaudhri) 9787111691815 机械工业出版社 (1 risultati)

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.…