Somogyi, Zoltan; Henderson, Fergus and Conway, Thomas "Mercury: an efficient purely declarative logic programming language" ASCS'95, Glenelg, Australia.

Languages mentioned

• MERCURY {1995} Logic/functional language