A basis for a multilevel metalogic programming language
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 262-275
- https://doi.org/10.1007/3-540-58792-6_17
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Hierarchical representation of legal knowledge with metaprogramming in logicThe Journal of Logic Programming, 1994
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Meta-level programming and knowledge representationNew Generation Computing, 1985
- Prolegomena to a theory of mechanized formal reasoningArtificial Intelligence, 1980
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965