Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!usc!ucla-cs!twinsun!eggert
From: eggert@twinsun.com (Paul Eggert)
Newsgroups: comp.lang.prolog
Subject: Re: origin of "arity"
Message-ID: <1991Jun21.173147.27862@twinsun.com>
Date: 21 Jun 91 17:31:47 GMT
References: <1991Jun21.200810.1@csc.anu.edu.au>
Sender: usenet@twinsun.com
Organization: Twin Sun, Inc
Lines: 8
Nntp-Posting-Host: ata

ada612@csc.anu.edu.au writes:

>Philologically, I guess the next step would be finding the first
>attestation.  The date to beat seems to be 1979 (Boyer and Moore),
>from ROK's posting.

A nit: ROK cited the 1988 ``A Computational Logic Handbook'',
not the 1979 ``A Computational Logic''.