4 ms·

I think (probabilistic) logic programming also relies on graph traversal/path searching, which is part of the symbolic AI paradigm.