Records for logic programming - Smolka, Gert 1955-; Treinen, Ralf (1992)