Based on Modula-2. Mentioned by M.P. Atkinson & J.W. Schmidt in a tutorial in Zurich, 1989.
Try this search on Wikipedia, OneLook, Google
Nearby terms: Modular Prolog « Modular SB-Prolog « module « Modulex » modulo » modulo arithmetic » modulo operator
