Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Mon, 10 Jan 1994 11:25:32 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA26829; Mon, 10 Jan 1994 04:05:35 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA26825; Mon, 10 Jan 1994 04:05:30 -0700 Received: from relay1.pipex.net by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA07736; Mon, 10 Jan 1994 03:03:26 -0800 Received: from Q.icl.co.uk by relay1.pipex.net with SMTP (PP) id <06053-0@relay1.pipex.net>; Mon, 10 Jan 1994 11:02:41 +0000 Received: from ming.oasis.icl.co.uk by Q.icl.co.uk (4.1/icl-2.10-server) id AA04227; Mon, 10 Jan 94 11:09:11 GMT Received: on ming.oasis.icl.co.uk over UUCP id AA03255; Mon, 10 Jan 94 11:01:45 GMT From: Rob Arthan Date: Mon, 10 Jan 94 10:52:58 GMT Message-Id: <9401101052.15390.0@norman.win.icl.co.uk> To: John.Harrison@cl.cam.ac.uk Subject: Re: HOL for lawyers? Cc: info-hol@cs.uidaho.edu The following reference, which I've never looked up myself, may be of interest: ``The treatment of negation in logic programs for representing legislation.'' by R.A. Kowalski in Proc. of the 7th International Conference on AI and Law. 1989. at the talk that I went to (at another event) it wasn't clear to me whether Kowalski thought programmers should write code like lawyers write legislation or vice versa. Regards, Rob Arthan.