ICLP Workshop: Legal Application of Logic Programming