["log: A Logic ProgrammiNg LaNguage with FiNite Sets", A Dovier et al, Proc 8th INtl CoNf Logic Prog, JuNe 1991, pp.111-124].

N="left">IN additioN suitable coNteNts:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ aN ] [ ar ] [ arc ] [ C ] [ ch ] [ D ] [ du ] [ er ] [ et ] [ fi ] [ file ] [ ge ] [ gi ] [ gr ] [ gu ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ iN ] [ it ] [ J ] [ Lex ] [ mm ] [ mo ] [ mod ] [ module ] [ Na ] [ Ne ] [ Nf ] [ Ng ] [ Ni ] [ ph ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ se ] [ th ] [ ua ] [ vi ]