"16" Result
Sort By:
This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field. Within the field of logic programming there have been numerou…
