Augmented Term Rewriter implementation

Article View: comp.lang.prolog

Article #41

#41

From: Kresten Krab Thorup
Date: Fri, 30 Oct 1992 16:14

17 lines
1049 bytes

Hi

I am looking for an implementation of an Augmented Term rewriter a'la
Bertrand.  Any pointers would be apreciated.

Please respond by E-mail to: krab@iesd.auc.dk

Thanks!

/Kresten
--
Kresten Krab Thorup, DAT3, D2-117 |       /   | E-mail : krab@iesd.auc.dk
Institute of Electronic Systems   |   ,-'/(   | S-mail : Sigrid Undsetsvej 234A
Aalborg University                |  /  |  \  |          9220 Aalborg \O
Fr. Bajers vej 7, 9220 Aalb. \O   |  A  U  C  |          98 15 18 44
-------------------------------------------------------------------------------
           Member of the LPF - The League for Programming Freedom

Technical Details

Message-ID: <KRAB.92Oct30161425@eos.iesd.auc.dk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!dkuug!iesd!iesd.auc.dk!krab

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.prolog
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!dkuug!iesd!iesd.auc.dk!krab
From: krab@iesd.auc.dk (Kresten Krab Thorup)
Subject: Augmented Term Rewriter implementation
Message-ID: <KRAB.92Oct30161425@eos.iesd.auc.dk>
Sender: news@iesd.auc.dk (UseNet News)
Organization: Mathematics and Computer Science, Aalborg University
Distribution: comp
Date: 30 Oct 92 16:14:25
Lines: 17