Prolog allows a programmer to model the logical relationships among objects and processes.