Understanding Symbolic AI: Foundations and Modern Relevance