Logic programming with the World-Wide Web