affirmative or negative forms -- Logic programs for intelligent web search --