Extending Logic Programming with Labelled Variables: Model and Semantics