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

by K Kwon, G Nadathur, D S Wilson
Venue:Extensions of Logic Programming, LNAI 660