Symbolic Artificial Intelligence