"occur check"

Article View: comp.theory

Article #2095

#2095

From: Richard O'keefe
Date: Thu, 22 Feb 1990 08:54

9 lines
807 bytes

I was recently taken to task for using the phrase "occurS check"
for the test made in unification to see whether a given variable
occurs in a given term.  Fair enough, grammatical English would
be "occurrence check", but it seems that the more popular phrase
is "occur check" (which affects me like fingernails on a black-
board).

Can anyone tell me who introduced the phrase "occur/occurs check"
and in what paper?  It _wasn't_ Robinson 1965, I checked.

Technical Details

Message-ID: <2901@goanna.oz.au>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!munnari.oz.au!goanna!ok

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!munnari.oz.au!goanna!ok
From: ok@goanna.oz.au (Richard O'keefe)
Newsgroups: comp.theory
Subject: "occur check"
Keywords: unification, terminology
Message-ID: <2901@goanna.oz.au>
Date: 22 Feb 90 08:54:04 GMT
Organization: Comp Sci, RMIT, Melbourne, Australia
Lines: 9