Proof Refinement Logic.
Versions: micro-prl, lambda-prl, nu-prl.
["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983].
Computing Dictionary