[comp.lang.scheme] Logic extensions to scheme

kirchner@umn-cs.cs.umn.edu (Roger B. Kirchner) (05/26/91)

I've gotten Dorai Sitaram's schelog from the nexus archive and am
trying to use it with mit-scheme.  Everything works fine except
%bagof, %setof.  Am stuck because I can't find the mit-scheme
equivalent of expand for expanding macros.  Can anyone help?

And is LogScheme by Ruf and Weise, as described in L&SC, Vol 3, No 3,
Sept 1990, pp 245-288, available by ftp?

Thanks. Roger