I'd like to implement a theorem proover using a parallel lisp like qlisp,... or ABCL Are there parallel machines that implement a parallel lisp or is it only simulated on unix,..? Are there any free versions of any arallel lisp? Where may I find them? Thanks Matteo e-mail address: redaelm@ghost.sm.dsi.unimi.it