From p.singleton@keele.ac.uk Wed Feb 28 19:49:57 2001
Received: from scooby.lineone.net (doggy.lineone.net [194.75.152.224])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f1SInvZ13639
	for <prolog@swi.psy.uva.nl>; Wed, 28 Feb 2001 19:49:57 +0100 (MET)
Received: from keele.ac.uk (host62-6-101-104.dialup.lineone.co.uk [62.6.101.104])
	by scooby.lineone.net (8.9.3/8.9.3) with ESMTP id SAA05161;
	Wed, 28 Feb 2001 18:48:09 GMT
Message-ID: <3A9D4775.F756E183@keele.ac.uk>
Date: Wed, 28 Feb 2001 18:46:13 +0000
From: Paul Singleton <p.singleton@keele.ac.uk>
Organization: SmartArts Computing Consultancy
X-Mailer: Mozilla 4.74 [en] (WinNT; U)
X-Accept-Language: en
MIME-Version: 1.0
To: "Richard A. O'Keefe" <ok@atlas.otago.ac.nz>
CC: prolog@swi.psy.uva.nl
Subject: Re: [SWIPL] keysort
References: <200102280018.NAA15962@atlas.otago.ac.nz>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

"Richard A. O'Keefe" wrote:

> Perhaps someone should port Mixtus to SWI.

First, someone should make it portable, and perhaps that oughta be
Dan Sahlin ;-) but I don't think he will :-(

For selfish reasons, re: integrating it with the repository I use,
I'd like the API of any partial evaluator to be as "pure" as possible,
i.e. map some term representation of a program onto a term representation
of an equivalent PE-ed program (plus options, hints etc.)

Whether or not this wish is misconceived, I'm asking for suggestions
for a suitable data structure to represent a Prolog program (I have
other uses for this).

Paul Singleton

