Reasoning procedure and implementation for logic programs as managing schemes to extract demand