PRL


Also found in: Dictionary, Thesaurus, Medical, Acronyms, Wikipedia.

PRL

Proof Refinement Logic.

Versions: micro-PRL, lambda-PRL, nu-PRL.

["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
Through the license agreement, Hope Medicine will develop and globally commercialise the novel PRL receptor antibody based on intellectual property from Bayer.
The PRL's refinery upgrade project is the second biggest investment commitment this year.
The PRL informed the exchange that a detailed feasibility study was carried out by renowned international consultants which entailed evaluation of different technological variants, technical and financial viability to carry out the project.
PRL, in which Shell and PSO have a shareholding, would need to achieve financial close to decide on its equity and debt levels, the analyst said.
The IIEF-5 scores and thyroid hormone levels of ED with SCH and the controls with euthyroidism: The IIEF-5 scores in ED patients with SCH were significantly lower than the controls with euthyroidism (P0.05, Table-IV), while the serum concentrations of TSH and PRL were significantly higher, and FT4 was significantly decreased in ED males with SCH than euthyroidism controls (all P<0.05, Table-IV).
"I understand completely what PRL are trying to do in the autumn when we organise a fourth international.
"We're proud of the role we play in ensuring our nation's security, so we all take it very seriously," said Janis Herschkowitz, president, PRL. "Our mission is to provide exceptional quality components to give our customers peace of mind.
Reference diagnoses were subsequently used to estimate changes in diagnostic accuracy between our traditional 6-hormone algorithm (supplemented by IHC for CAM5.2 in the setting of GH or PRL production) and our study algorithm.
PRL have also threatened to refuse to let players link up with Italy, Samoa and Tonga.
Northampton were fined PS60,000 by PRL for breaching their policy by allowing the winger to play in the out-of-window Test against Australia in November 2013.
North had dispensation to play for his country written into his previous deal, but Saints were hit by a hefty fine by Premiership Rugby Limited (PRL), the umbrella organisation which looks after the interests of England's clubs, when he appeared for Wales in a Test outside the official international window.