Labelled Variables in Logic Programming: A First Prototype in tuProlog