?- string_length("hello", N). N = 5 Yes (0.00s cpu) ?- concat_string([abc, 34, d], S). S = "abc34d" Yes (0.00s cpu) ?- string_list("hello", L). L = [104, 101, 108, 108, 111] Yes (0.00s cpu) ?- term_string(foo(3, bar), S). S = "foo(3, bar)" Yes (0.00s cpu)