{log}

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

Try this search on Wikipedia, OneLook, Google

Nearby terms: Locus « Loebner Prize « log « {log} » logarithmus dualis » LogC » logic