Implementing a notion of modules in the logic programming langauage λprolog (1992)

by Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
Venue:In Proceedings of the 1992 λProlog Workshop