Modules

Syntactic sugar for Prolog term constructors