LOP

(redirected from lopping)
Also found in: Dictionary, Thesaurus, Medical, Legal, Idioms, Wikipedia.
Related to lopping: loping, lopping shears

LOP

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)].
References in periodicals archive ?
He claimed that the roots were likely to damage nearby properties and lopping was necessary.
Labour leader Councillor Gordon Morgan is worried that an attempt to save pounds 2 1/2 m by cutting wages, axing white collar jobs, and lopping back services by 10 per cent will be the signal for more industrial strife on West Midlands buses.
If so, the council will issue the written permission to carry out specific pruning, lopping or felling work on the tree.