Reasoning About Applicable Law in Private International Law in Logic Programming