PROBLEMS WITH CONCURRENT PROLOG CMU-CS-86-100 - SARASWAT,VIJAY A (OTH PENNSYLVANIA, 1986)