Symbolic artificial intelligence