public override object Execute(Reasoner ts, Unifier un, ITerm[] args)
{
CheckArguments(args);
IRuntimeServices rs = ts.GetUserAgArch().GetRuntimeServices();
IListTerm ln = new ListTermImpl();
IListTerm tail = ln;
foreach (string a in rs.GetAgentsNames())
{
tail = tail.Append(new Atom(a));
}
return(un.Unifies(args[0], ln));
}