Logic Programming with Social Features