palavras-chave Distributed Artificial Intelligence Science & Technology cooperative knowledge based systems distributed problem solving multi-agent systems prolog