Often I think that the ideal language for implementation of test automation control logic is Prolog!
Now, you’d say only professors talk of Prolog.
Let us see what I mean here.
Testing is after all proving that the system works or not.
So,
System works if component A works and Component B works and …
This is very similar to Prolog programming, isn’t it?
That means test automation scripts must be controlled by Prolog kind of an engine.
I know there are more details to be discussed. I am just sowing a seed here.