Carl Ponder, Yale N. Patt. Alternative proposals for implementing Prolog concurrently and implications regarding their respective microarchitectures. In M. Carter, Robert A. Mueller, editors, Proceedings of the 17th annual workshop on Microprogramming, MICRO 1984, New Orleans, Louisiana, USA, October 30 - November 2, 1984. pages 192-203, ACM/IEEE, 1984. [doi]
Abstract is missing.