🚀 go-pugleaf

I've thought of writing of pre-processor to effectively allow
a variable's scope to include more than one predicate.

The user would declare a "scope" indicating the predicates involved,
the entry point and the variables to be global to the scope.
There would a notation for destructive assignment to a global variable
which would be converted by the preprocessor to an assignment to
a new version of the variable. Here's an example which writes helloworld.

scope(main/0, [main/0, a/0, b/0], X).
main :- X = hello, a, write(X).
a :- b.
b :- write(X), X <- world.

/* The preprocessor would output */

main :- X0 = hello, a(X0, X), write(X).
a(X0, X) :- b(X0, X).
b(X0, X) :- write(X0), X = world.


Lately I've been writing a lot code which be much easier to read and
less tedious to write the above preprocessor was used.

Has anyone done something like this already, or think its a bad idea?

Andrew