I think one of the use cases for lambda-prolog (a prolog for higher-level logic instead of first-level logic) was the ability to implement modules in a logical-

I think one of the use cases for lambda-prolog (a prolog for higher-level logic instead of first-level logic) was the ability to implement modules in a logical-native way.