browse words by letter
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
prl |
1 definition found From The Free On-line Dictionary of Computing (13 Mar 01) [foldoc]: 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)
This work is licensed under a
