Implementing a Notion of Modules in the Logic Programming Language ?Prolog (1993)

by K Keehang, G Nadathur, D S Wilson
Venue:in Extensions of Logic Programming, LNAI 660, E. Lamma, P. Mello (Eds.), Springer-Verlag