palavras-chave Case-Based Reasoning Dyscalculia Knowledge Representation and Reasoning Logic Programming Similarity Analysis