PRL

from The Free On-line Dictionary of Computing (8 July 2008)

PRL

   Proof Refinement Logic.

   Versions: {micro-PRL}, {lambda-PRL}, {nu-PRL}.

   ["PRL: Proof Refinement Logic Programmer's Manual", CS Dept,
   Cornell, 1983].

   (1995-01-24)