PARALLEL EXECUTION OF PROLOG PROGRAMS: A SURVEY