The implementation of a distributed model for logic programming based on multiple-headed clauses.