The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming.

Evelina Lamma, Paola Mello, Antonio Natali

Browse the full ICLP paper archive.