thanks great.
How does this work …
In Erlang - at least from what I recently read – there is a mechanism to have two versions loaded concurrently and old and a new version. And, somehow, some code keeps using the old while other starts using the new … and then there is a way to migrate old to new.
I wonder if something similar can be built in prolog around make.