Augmented Term Rewriter implementation

Thread View: comp.lang.prolog

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Kresten Krab Thorup Fri, 30 Oct 1992 16:14

#41

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads