set_of_all_servant(?Template, +Goal, -Set)

This is just like bag_of_all_servant except that duplicates are removed in the returned list.