DuckCorp

DuckCorp Dico

(RFC 2229 compliant dictionary server)
more options

Found one definition 

  1.                 From The Free On-line Dictionary of Computing (19 January 2023):
                

    
                
                  
    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)