Language:Chinese.paperback.Pub Date:2021-11-01.publisher:Machinery Industry Press.description: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
"synopsis" may belong to another edition of this title.
Seller: liu xing, Nanjing, JS, China
paperback. Condition: 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. Seller Inventory # NW025234