Even non-recursive calls of binary demo may loop

    Research output: Contribution to journalJournal articleResearch

    Original languageEnglish
    JournalLogic Programming
    Volume5
    Issue number4
    Pages (from-to)s. 16-17
    ISSN1061-0464
    Publication statusPublished - 1992

    Keywords

    • logic programming
    • meta-programming
    • semi-unification
    • demo-predicate
    • reflection

    Cite this