Random PROLOG Processor (RPP) is used to illustrate the theory. (SciTech Book News Vol. 25, No. 2 June 2001). Publication date : February 21, 2001. Publisher : Wiley-Interscience.
eBay