the Web needs (distributed) logic programming