A SURVEY OF PARLOG AND CONCURRENT PROLOG - THE INTEGRATION OF LOGIC AND PARALLELISM