abstract:In computer science, the occurs check is a part of algorithms for syntactic unification. It causes unification of a variable V and a structure S to fail if S contains V.
Although the law enforcement agency does not offer public analysis of its figures, the high check rate occurs amid debate in Washington over new gun control measures mainly in response to December's school shooting in Connecticut.