Why untyped nonground metaprogramming is not (much of) a problem
- 31 January 1995
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 22 (1) , 47-99
- https://doi.org/10.1016/0743-1066(94)00015-x
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A Model-Theoretic Reconstruction of the Operational Semantics of Logic ProgramsInformation and Computation, 1993
- HiLog: A foundation for higher-order logic programmingThe Journal of Logic Programming, 1993
- Syntactical characterization of a subset of domain-independent formulasJournal of the ACM, 1992
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Query evaluation in recursive databases: bottom-up and top-down reconciledData & Knowledge Engineering, 1990
- Weakly Stratified Logic Programs1Fundamenta Informaticae, 1990
- Declarative modeling of the operational behavior of logic languagesTheoretical Computer Science, 1989
- Metainterpreters for expert system constructionThe Journal of Logic Programming, 1989
- Meta-level programming and knowledge representationNew Generation Computing, 1985
- A point of referenceSynthese, 1974