prolog can allows a programmer to model the logical relationships among objects and processes