lop

v 1: cut off from a whole; "His head was severed from his body"

[syn: {sever}]

2: cut back the growth of, of bushes and trees [syn: {snip}, {clip},

{crop}, {trim}, {dress}, {prune}, {cut back}]

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)].