A complete resolution method for logical meta-programming languages

    Research output: Book/ReportReport

    Original languageEnglish
    Place of PublicationRoskilde
    PublisherRoskilde Universitet
    Publication statusPublished - 1992
    SeriesDatalogiske Skrifter
    Number38
    ISSN0109-9779

    Keywords

    • logic programming
    • meta-programming
    • programming languages
    • resolution
    • reflection
    • procedural semantics

    Cite this