Why is prolog unification depth-first-search instead of breadth-first-search?

Viewed 717

I just started learning about prolog and I was wondering why it's dfs instead of bfs and why there isn't an easy way to change it.

Does ISO prolog mandate it?

1 Answers
Related