A Domain for a Semantics of Guarded Horn Clauses for Programs on Distributed Environment(共著)