Languages like Prolog just don't offer that sort of freedom. Yes, they do -- that's why people have enjoyed using such languages. It might help to think of th

Languages like Prolog just don't offer that sort of freedom. Yes, they do -- that's why people have enjoyed using such languages. It might help to think of them as being like very-high-level scripting-languages with more rigorous semantics (e.g. homoiconicity) and some nifty built-ins, like Prolog's relational-database. (Not to mention REPLs, tooling, etc.) Read, for example, what Paul Graham wrote about using Lisp for Viaweb (which became Yahoo Store) [0] and understand that much of what he says applies to languages like Prolog and Smalltalk too. [0] https://www.paulgraham.com/avg.html https://www.paulgraham.com/avg.html