It seems that SWI has removed the save/2 builtin in its last version(s). If you manage to find out how to do that now, please send the patch to the list so that we can put it in the next version (with due credit, of course).
Daniel Cabeza
This predicate was changed in the new version of SWI (it is seem are following SICStus definitions). Now its:
qsave_program(+File, +ListOfOptions)
I attached html file (from SWI Manual) with more details.
----- Samir