On Logic Programming with Multisets