Report - A π-calculus specification of prolog - rd.springer.com · passing style implementation of Prolog. Prolog terms are represented by persistent processes, while logical variables are

Please pass captcha verification before submit form