PRL

(redirected from OTTHUMP00000017727)
Also found in: Medical.

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)

PRL

(Preferred Roaming List) The list of service providers stored in a CDMA cellphone that the phone is roaming outside its home area. The PRL should automatically be updated by the carrier; however, it may be manually reset and updated by the customer when there are roaming connection problems. In Restrictive Mode, the phone will only acquire networks in the PRL. In Permissive Mode, the phone will acquire a network not in the list if all PRL networks are unavailable.
Copyright © 1981-2019 by The Computer Language Company Inc. All Rights reserved. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction is strictly prohibited without permission from the publisher.