برای استىتاج توزیع شده در منطق order-sorted در این مقاله برای رفع مشکل استنتاج توزیع شده اقدام شده است. الگوریتم مورد نیاز ارایه شده و نتایج اجرایی گزارش ده است