Performance of And-Paralle Execution of Logic Programs on a Shared-Memory Multiprocessor