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 numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic pro…