purl

n 1: gold or silver wire thread

2: a basic knitting stitch [syn: {purl stitch}]

v 1: flow in a circular current, of liquids [syn: {eddy}, {gurge},

{whirlpool}, {swirl}, {whirl}]

2: make a murmuring sound; "the water was purling"

3: knit with a purl stitch

4: edge or border with gold or silver embroidery

5: embroider with gold or silver thread

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)