Logic programming with social features

Re-assign community