Language: Chinese
Published by Machinery Industry Press, 2021
ISBN 10: 7111691814 ISBN 13: 9787111691815
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.