Lecture notes in computer science vol:649 pages:192-204
Third International Workshop, META-92 location:Uppsala, Sweden date:June 10–12
We study a semantics for untyped, vanilla meta-programs, using the non-ground representation for object level variables. We introduce the notion of language independence for definite programs, which generalises range restriction. For language independent, definite object programs, we prove that there is a natural one-to-one correspondence between atoms p(t1, ..., t(r)) in the least Herbrand model of the object program and atoms of the form solve(p(t1, ..., t(r))) in the least Herbrand model of the associated vanilla meta-program. Thus, for this class of programs, the least Herbrand model provides a sensible semantics for the meta-program. The main attraction of our approach is that the results can be further extended - in a straightforward way - to provide a sensible semantics for a limited form of amalgamation.