cartago.arrayToList
cartago.get_current_wsp
cartago.callObj
cartago.new_array
cartago.new_obj
cartago.set_current_wsp
cartago.termToTuple
cartago.tupleToTerm
>DEIS - University of Bologna