A pi-calculus Specification of Prolog

Zhenzhong Li. A pi-calculus Specification of Prolog. In ILPS. pages 680, 1993.

Abstract

Abstract is missing.