[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

parallel lisp

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?

e-mail address: redaelm@ghost.sm.dsi.unimi.it