Prolog unification and DFS should work now