An Extended Prolog Machine for Dynamic Context Handling. - Marco Cavalieri; Evelina Lamma; Paola Mello (ECAI, 1988)

Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques. - Marco Cavalieri; Evelina Lamma; Paola Mello; Antonio Natali (META, 1988)