Added set_xsb_param/2, current_xsb_param/2.
Authored by: tswift 2018-06-18
Parent: [r9367]
Child: [r9369]