The Free On-line Dictionary of Computing (30 December 2018):

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)