作者: Gopalan (University of Minnesota) Nadathur

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. Howev …