Path: utzoo!attcan!uunet!mcvax!unido!ifistg!root
From: girgenso@ifistg.UUCP
Newsgroups: comp.lang.lisp
Subject: Re: Franz Lisp --> Common Lisp - (nf)
Message-ID: <270@ifistg.UUCP>
Date: 16 May 88 18:15:17 GMT
Sender: root@ifistg.UUCP
Lines: 26
Nf-ID: #R:pt:-166300:ifistg:9400006:000:871
Nf-From: ifistg!girgenso    May 16 10:41:00 1988
Posted: Mon May 16 19:15:17 1988

We have a rule-based transformatter from Franz Lisp to Common Lisp.  Rules
are like the following:

(defrule  append1 Standard 1
  (fl::|append1| ?list ?elem)
  ==>
  (append ?list (list ?elem))
  (Franz-to-Common)
  (Protocol)
  ((author "Andreas Girgensohn") (created "Mon Jan 19 21:31:41 1987")))

Most of the code will be transformed correctly.  Not transformed pieces can
be found by the package prefix FRANZ-LISP (short: FL).

You can get a copy of the transformation system on a magnetic tape.
Possible tapes  are  streamer tapes for SUN or Symbolics or tapes for a VAX
11/780 (Unix 4.2 bsd).

       Andreas Girgensohn
       Research Group INFORM
       Universitaet Stuttgart
       Federal Republic of Germany
       ARPA:  girgenso%ifistg.uucp%unido.uucp@uunet.uu.net
       UUCP:  uunet!unido!ifistg!girgenso
       CSNET: girgenso%ifistg.uucp@germany.csnet