Searching for "Relating Logic Programs and Attribute Grammars." – sorted by Relevance.
-
S-SLD-resolution - An Operational Semantics for Logic Programs with External Procedures
- . In particular we exploit well-known relations between logic programs and attribute grammars to develop a
- Cited by 16 (6 self) – Add To MetaCart

