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 programs as grammars an
Within the field of logic programming there have been numerous attempts to transform grammars into logic programmes. This book describes a complementary approach that views logic programmes as grammar
This monograph provides an intensive course for graduate students in computer science, as well as others interested in extensions of logic programming, on the theoretical foundations of disjunctive lo