Partial Evaluation of Concurrent Prolog and Its Implications

by Shmuel Safra · 1986