{log}

{log}

["log: A Logic Programming Language with Finite Sets", ADovier et al, Proc 8th Intl Conf Logic Prog, June 1991,pp.111-124].