annedn@a.gp.cs.cmu.edu (Anne DeNiel) (05/12/88)
Does anyone know of a Franz Lisp to (Lucid) Common Lisp translator (preferably public domain)? Any pointers will be greatly appreciated! Anne.DeNiel@a.gp.cs.cmu.edu Department of Computer Science Carnegie Mellon University
girgenso@ifistg.UUCP (05/17/88)
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
adams@crcge1.UUCP (Drew Adams) (06/13/88)
In article <270@ifistg.UUCP> girgenso@ifistg.UUCP writes: >We have a rule-based transformatter from Franz Lisp to Common Lisp. > Andreas Girgensohn We also have available a similar Franz-to-Common translator, FTOC, written in Common Lisp. It was written in 1984 for, I believe, Opus 38, 39 or 40 Franz. It also uses easily replaceable reduction rules, which may be in backquote-comma-etc form. It is available free for research (only) purposes. Drew ADAMS, Laboratoires de Marcoussis, Centre de Recherche de la Compagnie Generale d'Electricite, Route de Nozay, 91460 MARCOUSSIS, FRANCE Tel. 64.49.11.54, adams@crcge1.cge.fr -- Drew ADAMS, Laboratoires de Marcoussis, Centre de Recherche de la Compagnie Generale d'Electricite, Route de Nozay, 91460 MARCOUSSIS, FRANCE Tel. 64.49.11.54, adams@crcge1.cge.fr