- To be done
- The way in which this hook currently works makes the implementation of
important classes of constraint solvers impossible or at least extremely
impractical. For increased generality and convenience, simultaneous
unifications as in
[X,Y]=[0,1]should be processed sequentially by the Prolog engine, or a more general hook should be provided in the future. See Triska, 2016 for more information.