META FOR MODULARIZING LOGIC PROGRAMMING