Magic templates: a spellbinding approach to logic programs

DOI10.1016/0743-1066(91)90026-LzbMath0741.68032MaRDI QIDQ3988795

Raghu Ramakrishnan

Publication date: 28 June 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

magic programsbinding-passingmagic templatessideways information- passing

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

A simple correctness proof for magic transformation ⋮ Argument reduction by factoring ⋮ Loop checking in SLD-derivations by well-quasi-ordering of goals ⋮ Bottom-up abstract interpretation of logic programs

This page was built for publication: Magic templates: a spellbinding approach to logic programs