{log}: A Logic Programming Language with Finite Sets