Even non-recursive calls of binary demo may loop:

Even non-recursive calls of binary demo may loop

Research output: Contribution to journal › Journal article › Research

@article{c36563e052bd11dba4bc000ea68e967b,

title = "Even non-recursive calls of binary demo may loop",

keywords = "logic programming, meta-programming, semi-unification, demo-predicate, reflection",

author = "Henning Christiansen",

year = "1992",

language = "English",

volume = "5",

pages = "s. 16--17",

journal = "Logic Programming",

issn = "1061-0464",

publisher = "Springer New York LLC",

number = "4",

}