{log}

"{log}: A Logic Programming Language with Finite Sets", A. Dovier et al, Proceedings of the 8th International Conference on Logic Programming, June 1991, pp.111-124.