LOP

(redirected from lopping)
Also found in: Dictionary, Thesaurus, Medical, 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)].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
A few years ago I questioned a gentlemen who was working on trees in Reeth Road as to why they were lopping them.
You are entitled to lop any overhanging branches provided, of course, the tree you are lopping is not the subject of a Tree Preservation Order.
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.