Source : Free On-Line Dictionary of Computing

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)