added xsb_sprint_variable to fix the problem with printing vars in
print_pterm: cinterf.c (now fmt_write('%S', f(V)) prints vars the same way as write(V) does).
Authored by: kifer 1999-07-05
Parent: [r976]
Child: [r978]
