🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #2354

Re: origin of "arity"

#2354
From: Paul Eggert
Date: Fri, 21 Jun 1991 17:31
8 lines
726 bytes
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''.
Technical Details
Message-ID: <1991Jun21.173147.27862@twinsun.com>
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!usc!ucla-cs!twinsun!eggert
References: <1991Jun21.200810.1@csc.anu.edu.au>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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