LOP Meaning of LOP in English A language based on first-order logic . ["SETHEO - A High-Perormance Theorem Prover for First-Order Logic", Reinhold Letz et al, J Automated Reasoning 8(2):183-212 (1992)]. FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012